Theorem proving in higher order logics
: 16th international conference ; proceedings / TPHOLs 2003, Rome, Italy, September 8 - 12, 2003. David Basin ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2758)
ISBN 978-3-540-45130-3
Lizenzpflichtig
Quelle: DNB
Theorem proving in higher order logics
: 15th international conference ; proceedings / TPHOLs 2002, Hampton, VA, USA, August 20 - 23, 2002. V. A. Carreño (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2410)
ISBN 978-3-540-45685-8
Lizenzpflichtig
Quelle: DNB
Theorem proving in higher order logics
: 14th international conference ; proceedings / TPHOLs 2001, Edinburgh, Scotland UK, September 3 - 6, 2001. R. J. Boulton ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2152)
ISBN 978-3-540-44755-9
Lizenzpflichtig
Quelle: DNB
Theorem proving in higher order logics
: 12th international conference ; proceedings / TPHOLs '99, Nice, France, September 1999. Y. Bertot ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1690)
ISBN 978-3-540-48256-7
Lizenzpflichtig
Quelle: DNB
Theorem proving in higher order logics
: 20th international conference ; proceedings / TPHOLs 2007, Kaiserslautern, Germany, September 10 - 13, 2007. Klaus Schneider ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4732)
ISBN 978-3-540-74591-4
Lizenzpflichtig
Quelle: DNB
Theorem proving in higher order logics
: 18th international conference ; proceedings / TPHOLs 2005, Oxford, UK, August 22 - 25, 2005. Joe Hurd ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3603)
ISBN 978-3-540-31820-0
Lizenzpflichtig
Quelle: DNB
Theorem proving in higher order logics
: 21st international conference ; proceedings / TPHOLs 2008, Montreal, Canada, August 18 - 21, 2008. Otmane Ait Mohamed ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5170)
ISBN 978-3-540-71067-7
Lizenzpflichtig
Quelle: DNB
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
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