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
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
Theorem provers in circuit design
: theory, practice and experience ; second international conference, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings / TPCD '94. Ramayya Kumar ; Thomas Kropf (ed.). - Berlin : Springer, 1995. - VIII, 303 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 901)
ISBN 978-3-540-59047-7 / 3-540-59047-1 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Theorem proving in higher order logics
: 17th international conference ; proceedings / TPHOLs 2004, Park City, Utah, USA, September 14 - 17, 2004. Konrad Slind ... (ed.). - Berlin : Springer, 2004. - VIII, 336 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3223)
ISBN 978-3-540-23017-5 / 3-540-23017-3 kart. : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen