Spar
Computational Logic and Set Theory
Forfatter:
innbundet, 2011
Engelsk
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.
- Undertittel
- Applying Formalized Logic to Analysis
- ISBN
- 9780857298072
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 16.7.2011
- Forlag
- Springer London Ltd
- Antall sider
- 416
