The book is currently out of stock
More about the book
This chapter explores the foundational concepts of Interactive Theorem Proving, emphasizing the collaboration between humans and tools in reasoning. It discusses the design principles, common paradigms, and variations among different theorem provers, highlighting the importance of comprehensible proofs and effective visualization in the verification process.
Book purchase
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications, W. Bibel, P.H. Schmitt
- Language
- Released
- 1998
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.