Koszyk
towar
(pusty)
Kontakt
Konto
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.
przeczytaj całość
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.
ukryj opis
- Wydawnictwo: Springer London Ltd
- Kod:
- Rok wydania: 2011
- Język: Angielski
- Oprawa: Twarda
- Liczba stron: 416
- Szerokość opakowania: 16.6 cm
- Wysokość opakowania: 24.3 cm
- Głębokość opakowania: 3 cm
- Waga: 824 g
Recenzja