Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
Full Title: | Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283) |
---|---|
ISBN: | 3540433767 |
ISBN13: | 9783540433767 |
List Price: | USD $59.99 |
Authors: |
Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus |
Related ISBNs