*Result*: Automated Deduction - CADE-21
*Title*:
Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / edited by Frank Pfenning
*Author/editor-in-chief*:
*Edition*:
1st ed. 2007
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XII, 524 Seiten)
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Artificial Intelligence, ISSN 2945-9141 ; 4603
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Automated Deduction - CADE-21. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - ISBN 9783540735946
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
9783540735953 ; 354073595X ; 978--354073594-6 (Sekundärausgabe) ; 978--354084093-0 (Sekundärausgabe)
*DOI*:
10.1007/978-3-540-73595-3