Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Theory Of Computation (F) > Mathematical Logic And Formal Languages (F.4) > Mathematical Logic (F.4.1) > Hol (F.4.1...)  
 
Options:
 
  1-1 of 1 Reviews about "Hol (F.4.1...)": Date Reviewed
  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
 
 
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy