Computational Logic and Set Theory
2030 Kč
Sleva až 70% u třetiny knih
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AEtnaNova system, a program built to verify the correctness of mathematical proofs.
| Autor: | Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G. |
| Nakladatel: | Springer London Ltd |
| ISBN: | 9780857298072 |
| Rok vydání: | 2011 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 416 |
Mohlo by se vám také líbit..
-
Foundations for Designing User-Cente...
Ritter, Frank E.; Baxter, Gordon D.; Churchill, Elizabeth F.
-
Propositional and Predicate Calculus...
Goldrei, Derek
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Basic Linear Algebra
Blyth, T. S.; Robertson, E. F.
-
Further Linear Algebra
Blyth, T. S.; Robertson, E. F.
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Logic and Structure
Dalen, Dirk van
-
Forensic Computing
Sammes, Anthony J.; Jenkinson, Brian
-
Dynamics and Control of Mechanical S...
He, Wei; Ge, Shuzhi Sam; How, Bernard Voon Ee; Choo, Yoo Sang
-
An Introduction to Statistical Modeli...
Coles, Stuart
-
Bridging the Gap to University Mathe...
Hurst, Edward; Gould, Martin
-
Mathematical Writing
Vivaldi, Franco
-
Writing for Computer Science
Zobel, Justin
-
Ontological Engineering
Fernández López, Sonsoles