Logic for programming, artificial intelligence, and reasoning
: 13th international conference ; proceedings / LPAR 2006, Phnom Penh, Cambodia, November 13 - 17, 2006. Miki Hermann ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4246 : Lecture notes in artificial intelligence)
ISBN 978-3-540-48282-6
Lizenzpflichtig
Quelle: DNB
Logic for programming, artificial intelligence, and reasoning
: 12th international conference ; proceedings / LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005. Geoff Sutcliffe ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3835 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31650-3
Lizenzpflichtig
Quelle: DNB
Logic for programming, artificial intelligence, and reasoning
: 15th international conference ; proceedings / LPAR 2008, Doha, Qatar, November 22 - 27, 2008. Iliano Cervesato ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5330 : Lecture notes in artificial intelligence)
ISBN 978-3-540-89439-1
Lizenzpflichtig
Quelle: DNB
Logic program synthesis and transformation
: 7th international workshop ; proceedings / LOPSTR '97, Leuven, Belgium, July 1997. N. E. Fuchs (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1463)
ISBN 978-3-540-49674-8
Lizenzpflichtig
Quelle: DNB
Logics in artificial intelligence
: European workshop ; proceedings / JELIA '98, Dagstuhl, Germany, October 1998. J. Dix ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; Vol. 1489 : Lecture notes in artificial intelligence)
ISBN 978-3-540-49545-1
Lizenzpflichtig
Quelle: DNB
Mechanizing mathematical reasoning
: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday ; [Festschrift] / Dieter Hutter ; Werner Stephan (ed.). - Berlin : Springer, 2005. - IX, 563 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2605 : Lecture notes in artificial intelligence)
ISBN 978-3-540-25051-7 / 3-540-25051-4 kart. : EUR 69.55 (freier Pr.), sfr 115.00 (freier Pr.)
Quelle: DNB Verlagsmeldungen
Model generation for natural language interpretation and analysis
/ Karsten Konrad. - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2953 : Lecture notes in artificial intelligence)
ISBN 978-3-540-24640-4
Lizenzpflichtig
Quelle: DNB
Modeling and verification of parallel processes
: 4th summer school ; revised tutorial lectures / MOVEP 2000, Nantes, France, June 19 - 23, 2000. F. Cassez ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2067)
ISBN 978-3-540-45510-3
Lizenzpflichtig
Quelle: DNB
Proof theory in computer science
: international seminar ; proceedings / PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001. R. Kahle ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2183)
ISBN 978-3-540-45504-2
Lizenzpflichtig
Quelle: DNB
Anlauff, Matthias: Rechnerunterstützung formaler Beweissprachen
/ Matthias Anlauff. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1995. - XII, 162 S. : graph. Darst. - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 244)
ISBN 978-3-486-23396-4 / 3-486-23396-3 kart. : ca. DM 50.00
Quelle: DNB