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
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