Isabelle/Hol: A Proof Assistant for Higher-Order Logic

by Tobias Nipkow and Lawrence C. Paulson

This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540433767
• ISBN13: 9783540433767
• Release Date: April 2002
• Publisher: Springer
• Length: 226 Pages
• Weight: 0.83 lbs.
• Dimensions: 0.6" x 6.5" x 9.3"