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 Nov 16 21:59:49 2024 CET
erstellt.