Automated deduction
: proceedings / CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22 - 27, 2005. Robert Nieuwenhuis (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3632 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31864-4
Lizenzpflichtig
Quelle: DNB
Logic for programming, artificial intelligence, and reasoning
: 8th international conference ; proceedings / LPAR 2001, Havana, Cuba, December 3 - 7, 2001. R. Nieuwenhuis ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2250 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45653-7
Lizenzpflichtig
Quelle: DNB
Rewriting techniques and applications
: 14th international conference ; proceedings / RTA 2003, Valencia, Spain, June 9 - 11, 2003. Robert Nieuwenhuis (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2706)
ISBN 978-3-540-44881-5
Lizenzpflichtig
Quelle: DNB
Rewriting techniques and applications
: 14th international conference ; proceedings / RTA 2003, Valencia, Spain, June 9 - 11, 2003. Robert Nieuwenhuis (ed.). - Berlin : Springer***5108985, 2003. - XI, 514 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2706)
ISBN 978-3-540-40254-1 / 3-540-40254-3 kart. : EUR 66.34
Literaturangaben
Quelle: DNB
