You need to sign in or sign up before continuing.
Scan barcode
329 pages • missing pub info (editions)
ISBN/UID: 9783540582441
Format: Paperback
Language: English
Publisher: Springer
Publication date: 28 July 1994
Description
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 combine inference rules. Isabelle can be applied to...
Community Reviews
Content Warnings
329 pages • missing pub info (editions)
ISBN/UID: 9783540582441
Format: Paperback
Language: English
Publisher: Springer
Publication date: 28 July 1994
Description
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 combine inference rules. Isabelle can be applied to...
Community Reviews
Content Warnings