Alessandro Armando; Peter Baumgartner; Gilles Dowek (Hrsg). Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceeding. Berlin: Springer 2008 S. 139 - 146

Erscheinungsjahr: 2008

ISBN/ISSN: 978-3-540-71069-1

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Doi/URN: 10.1007/978-3-540-71070-7_11

Volltext über DOI/URN