Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
Share:
Also Available in:
- Amazon
- Audible
- Barnes & Noble
- AbeBooks
- Kobo
More Details
- Format:
- Pages: pages
- Publication:
- Publisher:
- Edition:2002, 2002 ed.
- Language:
- ISBN10:3540433767
- ISBN13:9783540433767
- kindle Asin:3540433767
About Author
