Automated deduction
: proceedings / CADE 21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17 - 20, 2007. Frank Pfenning (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4603 : Lecture notes in artificial intelligence)
ISBN 978-3-540-73595-3
Lizenzpflichtig
Quelle: DNB
Generative programming and component engineering
: second international conference ; proceedings / GPCE 2003, Erfurt, Germany, September 22 - 25, 2003. Frank Pfenning ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2830)
ISBN 978-3-540-39815-8
Lizenzpflichtig
Quelle: DNB
Logic for programming and automated reasoning
: 5th international conference ; proceedings / LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Frank Pfenning (ed.). - Berlin : Springer, 1994. - X, 344 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 822 : Lecture notes in artificial intelligence)
ISBN 978-3-540-58216-8 / 3-540-58216-9 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Term rewriting and applications
: 17th international conference ; proceedings / RTA 2006, Seattle, WA, USA, August 12 - 14, 2006. Frank Pfenning (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4098)
ISBN 978-3-540-36835-9
Lizenzpflichtig
Quelle: DNB
