Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
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
- Taal
- Jaar van publicatie
- 1998
- product-detail.submit-box.info.binding
- (Hardcover)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.