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
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
Theorem proving in higher order logics
: 10th international conference ; proceedings / TPHOLs '97, Murray Hill. NJ, USA, August 19 - 22, 1997 / Elsa L. Gunter ; Amy Felty (ed.). - Berlin : Springer, 1997. - VIII, 337 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1275)
ISBN 978-3-540-63379-2 / 3-540-63379-0 kart. : DM 74.00
Literaturangaben
Quelle: DNB
Theorem proving with analytic tableaux and related methods
: 5th international workshop ; tableaux '96, Terrasini, Palermo, Italy, May 15 - 17th, 1996 ; proceedings / [Workshop on Theorem Proving with Analytic Tableaux and Related Methods]. P. Miglioli ... (ed.). - Berlin : Springer, 1996. - X, 329 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1071 : Lecture notes in artificial intelligence)
ISBN 978-3-540-61208-7 / 3-540-61208-4 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Theorem proving with analytic tableaux and related methods
: 4th international workshop ; tableaux '95, Schloss Rheinfels, St. Goar, Germany, May 7 - 10, 1995 ; proceedings / [Workshop on Theorem Proving with Analytic Tableaux and Related Methods]. Peter Baumgartner ... (ed.). - Berlin : Springer, 1995. - X, 352 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 918 : Lecture notes in artificial intelligence)
ISBN 978-3-540-59338-6 / 3-540-59338-1 kart. : DM 78.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
Gelbaum, Bernard R.: Theorems and counterexamples in mathematics
/ Bernard R. Gelbaum ; John M. H. Olmsted. - 2., corr. print. - New York : Springer, 1993. - XXXIV, 305 S. : graph. Darst.; 25 cm - (Problem books in mathematics)
ISBN 978-3-540-97342-3 / 3-540-97342-7 Pp.
Literaturverz. S. 233 - 247
Quelle: DNB
