Gå direkte til innholdet
Isabelle
Spar

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.
Undertittel
A Generic Theorem Prover
ISBN
9783540582441
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
28.7.1994
Antall sider
329