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
Prehofer, Christian: Solving higher order equations
: from logic to programming / Christian Prehofer. - Boston : Birkhäuser, 1998. - VII, 186 S.; 24 cm - (Progress in theoretical computer science)
ISBN 978-3-7643-4032-2 / 3-7643-4032-0 Kunststoff : sfr 118.00
Quelle: DNB
Graf, Peter: Term indexing
/ Peter Graf. - Berlin : Springer, 1996. - XIV, 284 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1053 : Lecture notes in artificial intelligence)
ISBN 978-3-540-61040-3 / 3-540-61040-5 kart. : DM 62.00
Literaturverz. S. 275 - 280
Quelle: DNB
