Advances in artificial intelligence

: proceedings / KI 2001, Joint German Austrian Conference on AI, Vienna, Austria, September 19 - 21, 2001. F. Baader ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2174 : Lecture notes in artificial intelligence)

ISBN 978-3-540-45422-9

Lizenzpflichtig

Quelle: DNB

Automated deduction

: proceedings / CADE-19, 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003. Franz Baader (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2741 : Lecture notes in artificial intelligence)

ISBN 978-3-540-45085-6

Lizenzpflichtig

Quelle: DNB

Logic for programming, artificial intelligence, and reasoning

: 11th international conference ; proceedings / LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005. Franz Baader ; Andrei Voronkov (ed.). - Berlin : Springer, 2005. - XI, 562 S.; 24 cm - (Lecture notes in computer science; Vol. 3452 : Lecture notes in artificial intelligence)

ISBN 978-3-540-25236-8 / 3-540-25236-3 kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Term rewriting and applications

: 18th international conference ; proceedings / RTA 2007, Paris, France, June 26 - 28, 2007. Franz Baader (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4533)

ISBN 978-3-540-73449-9

Lizenzpflichtig

Quelle: DNB

Term rewriting and applications

: 18th international conference ; proceedings / RTA 2007, Paris, France, June 26 - 28, 2007. Franz Baader (ed.). - Berlin : Springer, 2007. - XII, 418 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4533)

ISBN 978-3-540-73447-5 / 3-540-73447-3 kart. : EUR 59.92 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen