Skip to content

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the
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
Back to Top

More Copies for Sale

Mechanizing Mathematical Reasoning: Essays in Honor of...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$17.99
$5.99 shipping to USA

Show Details

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.
Item Price
$17.99
$5.99 shipping to USA
Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on the Occasion of His...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$19.20
$5.50 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
$19.20
$5.50 shipping to USA
Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on the Occasion of His...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$81.67
$12.00 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
$81.67
$12.00 shipping to USA
Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His...
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
517
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$130.79
$10.27 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
$130.79
$10.27 shipping to USA
Mechanizing Mathematical Reasoning
Stock Photo: Cover May Be Different

Mechanizing Mathematical Reasoning

  • New
Condition
New
ISBN 10 / ISBN 13
9783540250517 / 3540250514
Quantity Available
4
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$148.49
$3.99 shipping to USA

Show Details

Description:
Springer , pp. 580 . Papeback. New.
Item Price
$148.49
$3.99 shipping to USA