Isabelle, HOL
: a proof assistant for higher order logic / T. Nipkow .... - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2283)
ISBN 978-3-540-45949-1
Lizenzpflichtig
Quelle: DNB
Nipkow, Tobias: Isabelle, HOL
: a proof assistant for higher order logic / Tobias Nipkow ; Lawrence C. Paulson ; Markus Wenzel. - Berlin : Springer, 2002. - XIII, 218 S.; 24 cm - (Lecture notes in computer science; Vol. 2283)
ISBN 978-3-540-43376-7 / 3-540-43376-7 kart. : EUR 32.10
Literaturverz. S. 209 - 211
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
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
Theorem proving in higher order logics
: 16th international conference ; proceedings / TPHOLs 2003, Rome, Italy, September 8 - 12, 2003. David Basin ; Burkhart Wolff (ed.). - Berlin : Springer, 2003. - X, 366 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2758)
ISBN 978-3-540-40664-8 / 3-540-40664-6 kart. : EUR 53.50 (freier Pr.), sfr 86.00
Literaturangaben
Quelle: DNB
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