|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Buchbeitrag
Anzahl der Publikationen: 1
Buchbeitrag
Paris, Jeff B. und Rafiee Rad, Soroush
(2010):
A Note on the Least Informative Model of a Theory.
In: Ferreira, Fernando; Löwe, Benedikt; Mayordomo, Elvira und Mendes Gomes, Luís (Hrsg.):
Programs, Proofs, Processes. Lecture Notes in Computer Science, Bd. 6158. Springer Berlin Heidelberg. S. 342-351