Isabelle
A Generic Theorem Prover
Autor:
Lawrence C. Paulson, Tobias Nipkow
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
277.75
lei
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume...
