Browse editions

Current edition
Isabelle/Hol: A Proof Assistant for Higher-Order Logic by Lawrence C. Paulson, Markus Wenzel, Tobias Nipkow

Isabelle/Hol: A Proof Assistant for Higher-Order Logic

Lecture Notes in Computer Science

Lawrence C. Paulson, Markus Wenzel, Tobias Nipkow

226 pages • missing pub info (editions)

nonfiction art computer science mathematics
Other editions (0)