Košík
zboží
(prázdné)
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.
číst celé
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.
schovat popis
- Nakladatel: Springer London Ltd
- Kód:
- Rok vydání: 2011
- Jazyk: Angličtina
- Vazba: Vázaná
- Počet stran: 416
- Šířka balení: 16.6 cm
- Výška balení: 24.3 cm
- Hloubka balení: 3 cm
- Váha balení: 824 g
Recenze