|
Introduction to HOL Gordon M., Melham T. (ed), Cambridge University Press, New York, NY, 1993. Type: Book (9780521441896)
The authors start by providing a detailed description of the ML system for developing theorem proving programs. They then go on to the main topic of the book, the HOL theorem proving system, developed on top of ML. HOL is a reasoning s...
|
Aug 1 1994 |