Isabelle
A Generic Theorem Prover
Autor:
Lawrence C. Paulson, Tobias Nipkow
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
213.28
zł
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume...
