Kniha momentálne nie je na sklade
Viac o knihe
Focusing on computational logic and set theory, this essential text showcases Professor Jacob T. Schwartz's contributions to proof verification techniques. It delves into the ÆtnaNova system, a specialized program designed to ensure the correctness of mathematical proofs, highlighting its significance in the field.
Nákup knihy
Computational Logic and Set Theory, Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz
- Jazyk
- Rok vydania
- 2014
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Computational Logic and Set Theory
- Podtitul
- Applying Formalized Logic to Analysis
- Jazyk
- anglicky
- Vydavateľ
- Springer London
- Rok vydania
- 2014
- Väzba
- mäkká
- Počet strán
- 436
- ISBN13
- 9781447160182
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- Focusing on computational logic and set theory, this essential text showcases Professor Jacob T. Schwartz's contributions to proof verification techniques. It delves into the ÆtnaNova system, a specialized program designed to ensure the correctness of mathematical proofs, highlighting its significance in the field.