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
Diese Liste wurde am
Sat Dec 21 19:44:29 2024 CET
erstellt.