Automated deduction
: proceedings / CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27 - 30, 2002. A. Voronkov (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2392 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45620-9
Lizenzpflichtig
Quelle: DNB
Automated deduction
: proceedings / CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 1999. Harald Ganzinger (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1632 : Lecture notes in artificial intelligence)
ISBN 978-3-540-48660-2
Lizenzpflichtig
Quelle: DNB
Automated deduction
: proceedings / CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 1998. C. Kirchner ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1421 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69110-5
Lizenzpflichtig
Quelle: DNB
Automated deduction
: proceedings / CADE 21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007. Frank Pfenning (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4603 : Lecture notes in artificial intelligence)
ISBN 978-3-540-73595-3
Lizenzpflichtig
Quelle: DNB
Automated deduction
: proceedings / CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22 - 27, 2005. Robert Nieuwenhuis (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3632 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31864-4
Lizenzpflichtig
Quelle: DNB
Automated deduction
: proceedings / CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Alan Bundy (ed.). - Berlin : Springer, 1994. - XVI, 848 S.; 24 cm - (Lecture notes in computer science; Vol. 814 : Lecture notes in artificial intelligence)
ISBN 978-3-540-58156-7 / 3-540-58156-1 kart. : DM 152.00
Literaturangaben
Quelle: DNB
Automated deduction
: proceedings / CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997. William McCune (ed.). - Berlin : Springer, 1997. - XIV, 462 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1249 : Lecture notes in artificial intelligence)
ISBN 978-3-540-63104-0 / 3-540-63104-6 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Automated deduction
: proceedings / CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5 - 10, 1998. Claude Kirchner ; Hélène Kirchner (ed.). - Berlin : Springer, 1998. - XIV, 441 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1421 : Lecture notes in artificial intelligence)
ISBN 978-3-540-64675-4 / 3-540-64675-2 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Automated deduction
: proceedings / CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27 - 30, 2002. Andrei Voronkov (ed.). - Berlin : Springer, 2002. - XII, 534 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2392 : Lecture notes in artificial intelligence)
ISBN 978-3-540-43931-8 / 3-540-43931-5 kart. : EUR 64.20
Literaturangaben
Quelle: DNB
Automated deduction
: proceedings / CADE-11, Saratoga Springs, NY, USA, June 15 - 18, 1992. D. Kapur (ed.). - Berlin : Springer, 1992. - XV, 793 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 607 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55602-2 / 3-540-55602-8 kart. : DM 144.00
Literaturangaben
Quelle: DNB
