Description:
Springer, 2005-04-06. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, text block clean and unmarked. Tight binding.
Stock Photo: Cover May Be Different
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science) Unknown - 2005 - 2005th Edition
by Hutter, Dieter (Editor), And Stephan, Werner (Editor)
First line
At the time Alan Turing was engaged in deciphering the code of the Enigma in Bletchley Park and Konrad Zuse applied his patent for the first electronic computer called "Rechenvorrichtung" in Berlin, Jörg was born into the rural capital of the smallest Fürstentum of Germany, called Schaumburg-Lippe, a name even well educated Germans have probably never heard of.
Details
- Title Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
- Author Hutter, Dieter (Editor), And Stephan, Werner (Editor)
- Binding unknown
- Edition number 2005th
- Edition 2005
- Publisher Springer, Berlin and Heidelberg
- Date April 6, 2005
- ISBN 9783540250517
More Copies for Sale
Stock Photo: Cover May Be Different
Mechanizing Mathematical Reasoning: Essays in Honor of Jèââ¢Ã©Å²rg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Hutter, Dieter [Editor]; Stephan, Werner [Editor];
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540250517 / 3540250514
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
SGD 24.59SGD 8.19 shipping to USA
Show Details
Item Price
SGD 24.59
SGD 8.19
shipping to USA
Stock Photo: Cover May Be Different
Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
by Hutter, Dieter; Werner Stephan, eds; Peter B. Andrews, Wolfgang Bibel, Manfred Kerber, et al.
- Used
- near fine
- Paperback
- first
- Condition
- Used - Near Fine
- Edition
- First edition
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540250517 / 3540250514
- Quantity Available
- 1
- Seller
-
Pittsburgh, Pennsylvania, United States
- Item Price
-
SGD 26.25SGD 7.52 shipping to USA
Show Details
Description:
Berlin: Springer, 2005. First edition. Paperback. Near Fine. First edition, 2005. 8vo, paperback, ix, 563 pp. Text in English. Book is Near Fine, pages are clean and unmarked. Bumping to lower cover corners and to crown of spine.
Item Price
SGD 26.25
SGD 7.52
shipping to USA
Stock Photo: Cover May Be Different
Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday
by Dieter Hutter et Werner Stephan
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540250517 / 3540250514
- Quantity Available
- 1
- Seller
-
Morangis, France
- Item Price
-
SGD 111.64SGD 16.40 shipping to USA
Show Details
Description:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2005. Paperback. Very Good. Former library book. Edition 2005. Ammareal gives back up to 15% of this item's net price to charity organizations.
Item Price
SGD 111.64
SGD 16.40
shipping to USA
Stock Photo: Cover May Be Different
Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
by Dieter Hutter
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540250517 / 3540250514
- Quantity Available
- 567
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
SGD 163.98SGD 13.94 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday.
Item Price
SGD 163.98
SGD 13.94
shipping to USA