Skip to main content alibris logo

Introduction to Hol: A Theorem-Proving Environment for Higher-Order Logic

by ,

Write The First Customer Review
Introduction to Hol: A Theorem-Proving Environment for Higher-Order Logic - Gordon, M J C (Editor), and Melham, T F (Editor)
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

An introduction to the HOL theorem-proving system.

loading
Introduction to Hol: A Theorem-Proving Environment for Higher-Order Logic 1993, Cambridge University Press, Cambridge

ISBN-13: 9780521441896

Hardcover