Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
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.
Buchkauf
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
- Sprache
- Erscheinungsdatum
- 1998
- product-detail.submit-box.info.binding
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Lieferung
- Gratis Versand in ganz Österreich
Zahlungsmethoden
Keiner hat bisher bewertet.