Lecture Notes in Computer Science

Isabelle: A Generic Theorem Prover by Lawrence C. Paulson

Isabelle: A Generic Theorem Prover

Lecture Notes in Computer Science

Lawrence C. Paulson

329 pages • missing pub info (editions)

nonfiction computer science design mathematics medium-paced
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