Isabelle-HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Main Author
Nipkow, Tobias, 1958-
Coauthor
Paulson, Lawrence C
Wenzel, Markus
Country
Alemanha.
Publication
Berlin : Springer, cop. 2002
Description
XIII, 218 p. ;
24 cm
Series
Lecture notes in computer science , 2283 , 0302-9743
ISBN
3-540-43376-7
CDU
519.6
There are no comments for this item.