Theorem proving in higher order logics
: 13th international conference ; proceedings / TPHOLs 2000, Portland, OR, USA, August 14 - 18, 2000. Mark Aagaard ; John Harrison (ed.). - Berlin : Springer, 2000. - IX, 533 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1869)
ISBN 978-3-540-67863-2 / 3-540-67863-8 kart. : DM 106.00
Literaturangaben
Quelle: DNB
Theorem proving in higher order logics
: 9th international conference ; proceedings / TPHOLs '96, Turku, Finland, August 26 - 30, 1996 / J. von Wright ... (ed.). - Berlin : Springer, 1996. - VIII, 446 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1125)
ISBN 978-3-540-61587-3 / 3-540-61587-3 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Theorem proving in higher order logics
: 12th international conference ; proceedings / TPHOLs '99, Nice, France, September 14 - 17, 1999. Yves Bertot ... (ed.). - Berlin : Springer, 1999. - VIII, 358 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1690)
ISBN 978-3-540-66463-5 / 3-540-66463-7 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Harrison, John: Theorem proving with the real numbers
/ John Harrison. - London : Springer, 1998. - XII, 186 S. : graph. Darst.; 24 cm - (Distinguished dissertations)
ISBN 978-3-540-76256-0 / 3-540-76256-6 Pp. : DM 139.00
Literaturverz. S. 169 - 183
Quelle: DNB
Baumgartner, Peter: Theory reasoning in connection calculi
/ Peter Baumgartner. - Berlin : Springer, 1998. - IX, 283 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 1527 : Lecture notes in artificial intelligence)
ISBN 978-3-540-65509-1 / 3-540-65509-3 kart. : DM 66.00
Literaturverz. S. 269 - 283
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 10th international conference ; proceedings / TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Kurt Jensen ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2988)
ISBN 978-3-540-24730-2
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 10th international conference ; proceedings / TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Kurt Jensen ; Andreas Podelski (ed.). - Berlin : Springer, 2004. - XIV, 608 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2988)
ISBN 978-3-540-21299-7 / 3-540-21299-X kart. : EUR 77.04, sfr 127.50
Literaturangaben
Quelle: DNB Verlagsmeldungen
Tools and algorithms for the construction and analysis of systems
: 9th international conference ; proceedings / TACAS 2003 ... Warsaw, Poland, April 7 - 11, 2003. H. Garavel ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2619)
ISBN 978-3-540-36577-8
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 12th international conference ; proceedings / TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Holger Hermanns ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3920)
ISBN 978-3-540-33057-8
Lizenzpflichtig
Quelle: DNB
Towards mechanized mathematical assistants
: proceedings / 14th symposium, Calculemus 2007 ; 6th international conference, MKM 2007, Hagenberg, Austria, June 27 - 30, 2007. Manuel Kauers ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4573 : Lecture notes in artificial intelligence)
ISBN 978-3-540-73086-6
Lizenzpflichtig
Quelle: DNB
