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

Hochhuser in Deutschland

$49.99

Modern Trends in Applied Terrestrial Ecology

$129.00

Eco-regional approaches for sustainable land use and food production

$169.00

Dilemmas in Defence Decision-Making

$54.99

March: Book Three

$14.99

Passion and Entrepreneurship

$109.99

Die Informatik AG Telekooperation

$69.99

In Search of a Pedagogy of Conflict and Dialogue for Mathematics Education

$84.99

Hirnszintigraphie

$54.99

Vehicle and Automotive Engineering 3

$219.99

Artificial Immune Systems: A New Computational Intelligence Approach

$54.99

Logic Synthesis for FSM-Based Control Units

$169.99

Platelets in Thrombotic and Non-Thrombotic Disorders

$299.00

Messung und Steuerung der Kommunikations-Effizienz

$74.99

Rethinking Corporate Sustainability in the Era of Climate Crisis

$59.99

Bautechnische Berechnungstafeln fr Ingenieure

$39.99

Third Asian-Pacific Regional Meeting of the International Astronomical Union

$109.99

Eat Your Rocks, Croc!: Dr. Glider's Advice for Troubled Animals (Hardcover)

$13.49

Articulatory Speech Synthesis from the Fluid Dynamics of the Vocal Apparatus

$29.99

Mental and Behavioral Dysfunction in Movement Disorders

$169.99

Optimaler Verbundbetrieb in der elektrischen Energieversorgung

$69.99

My First I Can Read! - Little Critter: Just Pick Us, Please!

$4.46

Psychosocial Factors at Work in the Asia Pacific

$84.99

The Chinese Zodiac- And Other Paths to Luck, Riches Prosperity by Aaron Hwang

$19.00

A Primer in Tensor Analysis and Relativity

$39.99

Genetic Neuromuscular Disorders

$59.99

The Biodiversity of African Plants

$329.99

Inclusive Leadership

$49.99

Urban Change in Iran

$109.99

Intelligent Systems and Applications

$199.99

Acute Neuro Care

$69.99

Dialogue Games

$169.99

Schliessende Statistik

$64.99

Neutron Radiography (3)

$329.99

Business Engineering. Proze- und Systementwicklung

$74.99

International Environmental soft law

$109.99

Surfing the Global Tide

$39.99

Evolutionary Algorithms and Agricultural Systems

$169.00

Ideals and Reality

$109.99

Untersuchung ber die gegenseitige Beeinflussung der Geschwindigkeit und des Kurshaltens beim berho

$54.99