Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceeding
Berlin: Springer 2008
Erscheinungsjahr: 2008
ISBN/ISSN: 978-3-540-71069-1
Publikationstyp: Buch (Konferenzband)
Sprache: Englisch
Doi/URN: 10.1007/978-3-540-71070-7
Geprüft | Bibliothek |
Inhaltszusammenfassung
Autoren
Armando, Alessandro (Herausgeber)
Baumgartner, Peter (Herausgeber)
Dowek, Gilles (Herausgeber)