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
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
: 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
Automated deduction in geometry
: selected papers / International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996. Dongming Wang (ed.). - Berlin : Springer, 1998. - 234 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1360 : Lecture notes in artificial intelligence)
ISBN 978-3-540-64297-8 / 3-540-64297-8 kart. : DM 58.00
Literaturangaben
Quelle: DNB
Nayak, P. Pandurang: Automated modelling of physical systems
/ P. Pandurang Nayak. - Berlin : Springer, 1995. - XX, 232 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1003 : Lecture notes in artificial intelligence)
ISBN 978-3-540-60641-3 / 3-540-60641-6 kart. : DM 58.00
Quelle: DNB
