Isabelle
A Generic Theorem Prover
Автор:
Lawrence C. Paulson, Tobias Nipkow
Наличност:
Външен склад
Изпращаме след 5-8 дни
52.83
€
103.32 лв
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume...
