Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
The Seventeen Provers of the World
Best Price:
Buy The Seventeen Provers of the World for $44.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$44.99 | $44.99 |
|
$44.99 | See Site | In stock | Visit Store |
Product Details
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems. The 17 systems included in this volume are among the most relevant ones for the formalization of mathematics. The systems are showcased by presentation of the formalized proof and a description in the form of answers to a standard questionnaire. The 17 systems presented are HOL, Mizar, PVS, Coq, Otter/Ivy, Isabelle/Isar, Alfa/Agda, ACL2, PhoX, IMPS, Metamath, Theorema, Leog, Nuprl, Omega, B method, and Minlog.
Reviews
Questions & Answers
Black Lagoon Adventures: The Class Election from the Black Lagoon
$3.74
Pregnancy, Sex Hormones and the Liver
$219.99
Perspectives on Ecological Integrity
$109.99
Steuerarbitragestrategien mit festverzinslichen Wertpapieren
$59.99
The Meaning of Religion
$54.99
Model and Design of Bipolar and MOS Current-Mode Logic
$129.00
UbiComp 2007: Ubiquitous Computing
$39.99
Qualitative Research in European Migration Studies
$59.99
Praxis der Spermatologie
$69.99
Fortschritte der Rheumatologie
$59.99
Epochenproblem "Vormrz" (18151848)
$29.99
Quantum Field Theory III: Gauge Theory
$279.99
Information Theory, Combinatorics, and Search Theory
$54.99
Labour Migration in Europe Volume I
$59.99
Disordered Systems and Biological Organization
$109.99
Investment in Thailand
$39.99
Introduction to Enzyme Technology
$99.99
Non-State Justice Institutions and the Law
$39.99
Individual Goal Hierarchies as Antecedents of Market Structures
$59.99
Volcanic Tourist Destinations
$139.99
Applied Reconfigurable Computing. Architectures, Tools, and Applications
$54.99
Interactive Theorem Proving
$79.99
Decision Support
$39.99
Male Sterility in Flowering Plants
$54.99
Ubiquitous Convergence Technology
$39.99
Somali Students' School Experiences
$109.99
Die Ausgrabungen in Haithabu und ihre Bedeutung fr die Handelsgeschichte des frhen Mittelalters
$59.99
Race, Markets, and Social Outcomes
$109.99
Contemporary Oral Oncology
$179.99
The Nature of Quantum Paradoxes
$39.99
Recent Advances in Cell Biology of Acute Leukemia
$109.99
Mathematics, Affect and Learning
$39.99
Wearable Interaction
$109.99
Die Welt der Gothics
$39.99
The Palgrave Handbook of Music in Comedy Cinema
$279.99
Positive Linear Maps of Operator Algebras
$99.00
Ineffability: An Exercise in Comparative Philosophy of Religion
$54.99
AI-enabled Spectrum Sharing
$44.99
Functional Encryption
$109.99
The Optional Society
$54.99
