Automated deduction

: proceedings / CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7 - 10, 1999. Harald Ganzinger (ed.). - Berlin : Springer, 1999. - XIV, 428 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1632 : Lecture notes in artificial intelligence)

ISBN 978-3-540-66222-8 / 3-540-66222-7 kart. : DM 94.00

Literaturangaben

Quelle: DNB

Automated deduction

: proceedings / CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 1999. Harald Ganzinger (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1632 : Lecture notes in artificial intelligence)

ISBN 978-3-540-48660-2

Lizenzpflichtig

Quelle: DNB

ESOP ...

- Berlin [West] : Springer, 1988. - VI, 379 S. : Ill. - (...; 300)

ISBN 978-3-540-19027-1 / 3-540-19027-9 DM 50.00

Literaturangaben

Quelle: DNB

Logic for programming and automated reasoning

: 6th international conference ; proceedings / LPAR '99, Tbilisi, Georgia, September 6 - 10, 1999. Harald Ganzinger ... (ed.). - Berlin : Springer, 1999. - XII, 395 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1705 : Lecture notes in artificial intelligence)

ISBN 978-3-540-66492-5 / 3-540-66492-0 kart. : DM 94.00

Literaturangaben

Quelle: DNB

Rewriting techniques and applications

: 7th international conference ; proceedings / RTA-96, New Brunswick, NJ, USA, July 27 - 30, 1996. Harald Ganzinger (ed.). - Berlin : Springer, 1996. - XI, 435 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1103)

ISBN 978-3-540-61464-7 / 3-540-61464-8 kart. : DM 86.00

Literaturangaben

Quelle: DNB