Paulson, Lawrence C.: Isabelle
: a generic theorem prover / Lawrence C. Paulson. With contributions by Tobias Nipkow. - Berlin : Springer, 1994. - XVII, 321 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 828)
ISBN 978-3-540-58244-1 / 3-540-58244-4 kart. : DM 66.00
Literaturverz. S. 301 - 304
Quelle: DNB
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
