*Result*: Automated Deduction – CADE-22
*Title*:
Automated Deduction – CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / edited by Renate Schmidt
*Author/editor-in-chief*:
*Edition*:
1st ed. 2009
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XIV, 504 Seiten)
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Artificial Intelligence, ISSN 2945-9141 ; 5663
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Automated Deduction – CADE-22. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - ISBN 9783642029585
*Subject Added Keywords*:
*ISBN*:
9783642029592 ; 3642029590 ; 978--364202958-5 (Sekundärausgabe) ; 978--364202960-8 (Sekundärausgabe)
*DOI*:
10.1007/978-3-642-02959-2