Gå direkt till innehållet
Isabelle
Spara

Isabelle

Lägsta pris på PriceRunner
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.
Undertitel
A Generic Theorem Prover
ISBN
9783540582441
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1994-07-28
Sidor
329