Logics in artificial intelligence
: European workshop ; proceedings / JELIA '98, Dagstuhl, Germany, October 12 - 15, 1998. Jürgen Dix ... (ed.). - Berlin : Springer, 1998. - X, 390 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1489 : Lecture notes in artificial intelligence)
ISBN 978-3-540-65141-3 / 3-540-65141-1 kart. : DM 82.00
Literaturangaben
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
Simons, Martin: The presentation of formal proofs
/ Martin Simons. GMD-Forschungszentrum Informationstechnik GmbH. - München : Oldenbourg, 1997. - 169 S.; 23 cm - (GMD-Bericht; Nr. 278)
ISBN 978-3-486-24262-1 / 3-486-24262-8 kart. : DM 53.00, sfr 46.00, S 387.00
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
Leitsch, Alexander: The resolution calculus
/ Alexander Leitsch. - Berlin : Springer, 1997. - VIII, 300 S. : graph. Darst.; 24 cm - (Texts in theoretical computer science)
ISBN 3-540-618821 Pp. : DM 58.00
Literaturverz. S. 289 - 293
Quelle: DNB
Rewriting, computation and proof
: essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday ; [Festschrift] / Hubert Comon-Lundh ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4600)
ISBN 978-3-540-73147-4
Lizenzpflichtig
Quelle: DNB
The seventeen provers of the world
/ Freek Wiedijk (ed.) .... - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3600 : Lecture notes in artificial intelligence)
ISBN 978-3-540-32888-9
Lizenzpflichtig
Quelle: DNB
