Originalsprog | Engelsk |
---|
Vol/bind | CMU-CS-14-134 |
---|---|
Status | Udgivet - 2014 |
Navn | Technical Report Carnegie Mellon University |
---|
Carsten Schürmann, Jorge Sacchini, Frank Pfenning, Iliano Cervesato
Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning
Originalsprog | Engelsk |
---|
Vol/bind | CMU-CS-14-134 |
---|---|
Status | Udgivet - 2014 |
Navn | Technical Report Carnegie Mellon University |
---|