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 in classical and non-classical logic
: selected papers / Ricardo Caferra ; Gernot Salzer (ed.). - Berlin : Springer, 2000. - VIII, 297 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1761 : Lecture notes in artificial intelligence)
ISBN 978-3-540-67190-9 / 3-540-67190-0 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Automated deduction in classical and non-classical logic
: selected papers / Ricardo Caferra ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1761 : Lecture notes in artificial intelligence)
ISBN 978-3-540-46508-9
Lizenzpflichtig
Quelle: DNB
[Automated deduction in geometry]
: [4th international workshop ; revised papers] / [ADG 2002, Hagenberg Castle, Austria, September 4 - 6, 2002. Franz Winkler (ed.)]. - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [2930] : [Lecture notes in artificial intelligence])
ISBN 978-3-540-24616-9
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
Automated deduction in geometry
: third international workshop ; revised papers / ADG 2000, Zurich, Switzerland, September 25 - 27, 2000. J. Richter-Gebert ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2061 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45410-6
Lizenzpflichtig
Quelle: DNB
Automated deduction in geometry
: proceedings / ADG'98, Beijing, China, August 1998. X.-S. Gao ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1669 : Lecture notes in artificial intelligence)
ISBN 978-3-540-47997-0
Lizenzpflichtig
Quelle: DNB
Automated deduction in geometry
: 5th international workshop ; revised papers / ADG 2004, Gainesville, FL, USA, September 16 - 18, 2004. Hoon Hong ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3763 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31363-2
Lizenzpflichtig
Quelle: DNB