Košík
tovar
(prázdne)
Kontakt
Účet
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.
prečítať 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.
Skryť popis
- Nakladateľ: Springer London Ltd
- Kód:
- Rok vydania: 2011
- Jazyk: Angličtina
- Väzba: Hardback
- Počet strán: 416
- Šírka balenia: 16.6 cm
- Výška balenia: 24.3 cm
- Hĺbka balenia: 3 cm
- Váha balenia: 824 g
Recenzie