Renate A. Schmidt (Hrsg). Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Berlin: Springer 2009 S. 131 - 139

Erscheinungsjahr: 2009

ISBN/ISSN: 978-3-642-02958-5

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Doi/URN: 10.1007/978-3-642-02959-2_9

Volltext über DOI/URN