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-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
Rewriting techniques and applications
: 5th international conference ; proceedings / RTA 93, Montreal, Canada, June 16 - 18, 1993. Claude Kirchner (ed.). - Berlin : Springer, 1993. - XI, 487 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 690)
ISBN 978-3-540-56868-1 / 3-540-56868-9 kart. : DM 86.00
Literaturangaben
Quelle: DNB
