The Seventeen Provers Of the World
by Wiedijk, Freek
Available Copies
THE SEVENTEEN PROVERS OF THE WORLD
by WIEDIJK, FREEK ,
- Condition
- New
- Jacket Condition
- New
- Edition
- 1st
- Published
- 2006
- Binding
- Paperback
- ISBN
- 9783540307044
- Quantity Available
- 1
- Seller
-
New Delhi, IND
- Item Price
-
$63.00
Show Details
Description:
Springer, 2006. 1st. Paperback. New/New. Item Price
$63.00
The Seventeen Provers of the World : Foreword by Dana S. Scott
by Freek Wiedijk
- Condition
- New
- ISBN
- 9783540307044
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
$59.90
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The The Seventeen Provers of the World : Foreword by Dana S. Scott. Item Price
$59.90
The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science, 3600)
by Wiedijk, Freek [Editor]
- Condition
- New
- Published
- 2006-02-03
- Binding
- Paperback
- ISBN
- 9783540307044
- Quantity Available
- 1
- Seller
-
San Diego, California, USA
- Item Price
-
$148.16
Show Details
Description:
Springer, 2006-02-03. Paperback. New. New. In shrink wrap. Looks like an interesting title! Item Price
$148.16
The Seventeen Provers of the World: Foreword by Dana S. Scott
by Freek Wiedijk
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9783540307044
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
$68.87
Show Details
Description:
Paperback / softback. New. 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. Item Price
$68.87