|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 2010
Anzahl der Publikationen: 1
2010
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