Skip to content
Scan a barcode
Scan
Paperback Isabelle: A Generic Theorem Prover Book

ISBN: 3540582444

ISBN13: 9783540582441

Isabelle: A Generic Theorem Prover

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.

Recommended

Format: Paperback

Condition: New

$60.03
50 Available
Ships within 2-3 days

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured