Spara
Computational Logic and Set Theory
Författare:
inbunden, 2011
Engelska
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
- Undertitel
- Applying Formalized Logic to Analysis
- Författare
- Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, Martin Davis
- ISBN
- 9780857298072
- Språk
- Engelska
- Vikt
- 446 gram
- Utgivningsdatum
- 2011-07-16
- Förlag
- Springer London Ltd
- Sidor
- 416
