Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
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.
Buchkauf
Computational Logic and Set Theory, Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz
- Sprache
- Erscheinungsdatum
- 2014
- product-detail.submit-box.info.binding
- (Paperback)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Computational Logic and Set Theory
- Untertitel
- Applying Formalized Logic to Analysis
- Sprache
- Englisch
- Autor*innen
- Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz
- Verlag
- Springer London
- Erscheinungsdatum
- 2014
- Einband
- Paperback
- Seitenzahl
- 436
- ISBN13
- 9781447160182
- Kategorie
- Informatik & Programmierung
- Beschreibung
- 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.