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-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
Logic for programming and automated reasoning
: 4th international conference ; proceedings / LPAR '93, St. Petersburg, Russia, July 13 - 20, 1993. Andrei Voronkov (ed.). - Berlin : Springer, 1993. - XIII, 386 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 698 : Lecture notes in artificial intelligence)
ISBN 978-3-540-56944-2 / 3-540-56944-8 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Logic for programming and automated reasoning
: proceedings / International Conference LPAR '92, St. Petersburg, Russia, July 15 - 20, 1992. A. Voronkov (ed.). - Berlin : Springer, 1992. - XIV, 509 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 624 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55727-2 / 3-540-55727-X kart. : DM 96.00
Literaturangaben
Quelle: DNB
Logic programming
: proceedings / First Russian Conference on Logic Programming, Irkutsk, Russia, September 14 - 18, 1990 ; Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11 - 16, 1991. A. Voronkov (ed.). - Berlin : Springer, 1992. - IX, 514 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 592 : Lecture notes in artificial intelligence)
ISBN 978-3-540-55460-8 / 3-540-55460-2 kart. : DM 96.00
Literaturangaben
Quelle: DNB
Rewriting techniques and applications
: 19th international conference ; proceedings / RTA 2008, Hagenberg, Austria, July 15 - 17, 2008. Andrei Voronkov (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; Vol. 5117)
ISBN 978-3-540-70590-1
Lizenzpflichtig
Quelle: DNB
