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 techniques and applications
: 9th international conference ; proceedings / RTA-98, Tsukuba, Japan, March/April 1998. T. Nipkow (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1379)
ISBN 978-3-540-69721-3
Lizenzpflichtig
Quelle: DNB
Rewriting techniques and applications
: 9th international conference ; proceedings / RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Tobias Nipkow (ed.). - Berlin : Springer, 1998. - X, 342 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1379)
ISBN 978-3-540-64301-2 / 3-540-64301-X kart. : DM 82.00
Literaturangaben
Quelle: DNB
