Isabelle: A Generic Theorem Prover

by Tobias Nipkow and Lawrence C. Paulson

As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540582444
• ISBN13: 9783540582441
• Release Date: July 1994
• Publisher: Springer
• Length: 329 Pages
• Weight: 1.09 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"