Isabelle
A Generic Theorem Prover
Autor:
Lawrence C. Paulson, Tobias Nipkow
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
Kč
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume...
