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
Die gespaltenen Staaten von Amerika
$59.99
Algebraic Aspects of the Advanced Encryption Standard
$119.99
Dimensionierung stetiger linearer Regelkreise fr die Praxis
$79.99
Advances in Intelligent Manufacturing and Service System Informatics
$219.99
A Guide to Clinical Drug Research
$169.99
Compiler Construction
$54.99
Science in Flux
$219.99
Inflammation and Metastasis
$129.00
Soziale Arbeit in der konomisierungsfalle?
$49.99
Stakeholdermanagement
$44.99
Connecting Trees with People
$84.99
Projektmanagement im Ehrenamt
$17.99
The French Fifth Republic at Fifty
$109.99
Fields, Networks, Computational Methods, and Systems in Modern Electrodynamics
$219.99
Wille und Entwicklung
$69.99
Networking Infrastructure for Pervasive Computing
$169.99
Innovative Computing
$219.99
Rauchverbrennungsanlagen fr Fluschiffe
$54.99
Advances in Bioinformatics and Computational Biology
$39.99
Digital Signal Transmission
$54.99
Lebenslagen unter Altersarmut
$59.99
Alexander, Who Used to Be Rich Last Sunday
$5.21
Schnittpunkt Politische Bildung
$79.99
Der Bevlkerungsdiskurs
$64.99
The Impact of WTO SPS Law on EU Food Regulations
$129.99
Information Security
$39.99
The Governance of Energy in China
$39.99
Automated Technology for Verification and Analysis
$39.99
Refraktion und Akkommodation des Menschlichen Auges
$59.99
Die Modebranche im Umbruch
$54.99
Soziale Innovation im Kontext
$59.99
Glasfehler
$129.00
Proceedings of the 1989 Academy of Marketing Science (AMS) Annual Conference
$169.99
Malignant Mesothelioma and Pseudomyxoma
$109.99
Addictive Behaviors in Women
$89.00
Gender-Paradoxien
$44.99
Digitale Bild- und Tonspeicherung
$49.99
Childrens Bible Stories for Bedtime Fully Illustrated - Gift Edition- To Grow in Faith and Love by Julie Lavender
$20.99
Kooperative Landschaftsbewertung in der rumlichen Planung
$34.99
Child, Adolescent and Family Refugee Mental Health
$89.00
