Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
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
- Langue
- Année de publication
- 1998
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .