Knihu momentálně nemáme skladem
Více o knize
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.
Nákup knihy
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
- Jazyk
- Rok vydání
- 1998
- product-detail.submit-box.info.binding
- (pevná)
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.