Isabelle
A Generic Theorem Prover
Autor:
Lawrence C. Paulson, Tobias Nipkow
Dostupnosť:
Skladom u dodávateľa
Odosielame za 5-8 dní
50.22
€
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume...
