Isabelle
A Generic Theorem Prover
Szerző:
Lawrence C. Paulson, Tobias Nipkow
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 173
Ft
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume...
