Broschiertes Buch
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-29131-2
Buch
2004
Eelde : Barkhuis, Groningen : Groningen University Library
Broschiertes Buch
1. Mai 2013
University of Hawaii (Nflrc)
Gebundenes Buch
Model-Oriented Proof Methods and Their Comparison
26. Dezember 2007
Cambridge University Press
Broschiertes Buch
10. April 2013
University of Hawaii (Nflrc)
Gebundenes Buch
Papers in honour of Tim McNamara
22. März 2019
Peter Lang
278009
Ähnlichkeitssuche: Fact®Finder von OMIKRON