articole
(gol)
Contact
Cont 
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AEtnaNova system, a program built to verify the correctness of mathematical proofs.
citește totul
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AEtnaNova system, a program built to verify the correctness of mathematical proofs.
ascunde descrierea
- Editură: Springer London Ltd
- Cod:
- Anul publicării: 2011
- Limba: Engleză
- Legarea: Legată
- Număr de pagini: 416
- Lățimea ambalajului: 16.6 cm
- Înălțimea ambalajului: 24.3 cm
- Adâncimea ambalajului: 3 cm
- Greutatea ambalajului: 824 g
Recenzii