Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

The Seventeen Provers of the World

The Seventeen Provers of the World

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540307044
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $44.99 - $44.99
BEST PRICE

Single Product Purchase

$44.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$44.99 $44.99

$44.99
See Site In stock Visit Store

Similar Products

Biologische Marker bei affektiven Erkrankungen

$54.99

Engineering Service Systems in the Digital Age

$54.99

From Power Politics to Conflict Resolution

$54.99

Shakespearean Allusion in Crime Fiction

$54.99

Evidence-Based Medicine - A Paradigm Ready To Be Challenged?

$59.99

Liquid-Crystal Nanomaterials

$199.99

Alternating Electric Fields Therapy in Oncology

$54.99

Fundamentals of Turbomachines

$129.99

Experimental Mechanics

$69.99

High Performance Computing

$54.99

Knowledge Management and Organizational Memories

$84.99

Legal Aspects Around Satellite Constellations

$129.00

Post-Capitalist Futures

$69.99

Grundzge der analytischen Makrokonomie

$34.99

Knowledge-Based Vision-Guided Robots

$39.99

Communications and Information Processing

$39.99

Computeranwendungen bei Wachstumsproblemen in Biologie und Medizin

$69.99

Group-Theoretic Algorithms and Graph Isomorphism

$19.99

Structural Synthesis in Precision Elasticity

$169.99

Mycobacterial Skin Diseases

$129.00

Clinicians Guide to Breastfeeding

$64.99

Politisches Denken. Jahrbuch 1994

$39.99

Risk Analysis and Scientific Method

$54.99

Leveraging Knowledge Assets

$54.99

Vegetation of the Tropical Pacific Islands

$109.99

A Rhetoric of Aesthetic Power

$159.99

Dog Man: Lord of the Fleas (Hardcover)

$12.74

Philosophy of Arithmetic

$449.99

Zwischen Kooperation und Konfrontation: Dnemark und das Frankenreich im 9. Jahrhundert

$24.99

Aging and Hearing

$219.00

My Books Summer Spanish Grade 3 Nonfiction - Classroom Set

$795.00

Shopper-Marketing

$59.99

Uncertainty in Biology

$84.99

Die Rntgenstereoskopie

$59.99

Finanzierung und Beratung junger Start-up-Unternehmen

$69.99

Osteosynthese der Schenkelhalsfraktur

$199.00

Regionale Leistungs- und Krankenhausplanung

$69.99

Der Einflu von industriellen Grounternehmen auf die raum- und siedlungsstrukturelle Entwicklung im

$74.99

Ubiquitous Knowledge Discovery

$39.99

Migration, Urbanity and Cosmopolitanism in a Globalized World

$59.99