Logo Logo
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
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

Diese Liste wurde am Sat Dec 21 19:44:29 2024 CET erstellt.