Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Computational Logic and Set Theory, Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz
- Langue
- Année de publication
- 2014
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .