Siirry suoraan sisältöön
Isabelle
Tallenna

Isabelle

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's built-in logics are also described in detail.
Alaotsikko
A Generic Theorem Prover
ISBN
9783540582441
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
28.7.1994
Sivumäärä
329