Descripción:
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.
Foto de archivo: la portada puede ser diferente
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 Edición
de Hutter, Dieter (Editor), And Stephan, Werner (Editor)
Primera línea
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.
Detalles
- Título Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
- Autor Hutter, Dieter (Editor), And Stephan, Werner (Editor)
- Encuadernación unknown
- Número de edición 2005th
- Edición 2005
- Editorial Springer, Berlin and Heidelberg
- Fecha de publicación April 6, 2005
- ISBN 9783540250517
Más ejemplares
Foto de archivo: la portada puede ser diferente
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)
de Hutter, Dieter [Editor]; Stephan, Werner [Editor];
- Usado
- Muy bueno
- Tapa blanda
- Estado
- Usado - Muy bueno
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540250517 / 3540250514
- Cantidad disponible
- 1
- Librería
-
Spring Branch, Texas, United States
- Precio
-
EUR 16.79EUR 5.59 enviando a USA
Mostrar detalles
Precio
EUR 16.79
EUR 5.59
enviando a USA
Foto de archivo: la portada puede ser diferente
Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
de Hutter, Dieter; Werner Stephan, eds; Peter B. Andrews, Wolfgang Bibel, Manfred Kerber, et al.
- Usado
- near fine
- Tapa blanda
- First
- Estado
- Usado - Near Fine
- Edición
- First edition
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540250517 / 3540250514
- Cantidad disponible
- 1
- Librería
-
Pittsburgh, Pennsylvania, United States
- Precio
-
EUR 17.92EUR 5.13 enviando a USA
Mostrar detalles
Descripción:
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.
Precio
EUR 17.92
EUR 5.13
enviando a USA
Foto de archivo: la portada puede ser diferente
Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday
de Dieter Hutter et Werner Stephan
- Usado
- Muy bueno
- Tapa blanda
- Estado
- Usado - Muy bueno
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783540250517 / 3540250514
- Cantidad disponible
- 1
- Librería
-
Morangis, France
- Precio
-
EUR 76.21EUR 11.20 enviando a USA
Mostrar detalles
Descripción:
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.
Precio
EUR 76.21
EUR 11.20
enviando a USA
Foto de archivo: la portada puede ser diferente
Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
de Dieter Hutter
- Nuevo
- Estado
- Nuevo
- ISBN 10 / ISBN 13
- 9783540250517 / 3540250514
- Cantidad disponible
- 517
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 120.67EUR 9.48 enviando a USA
Mostrar detalles
Descripción:
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.
Precio
EUR 120.67
EUR 9.48
enviando a USA
Foto de archivo: la portada puede ser diferente
Mechanizing Mathematical Reasoning
- Nuevo
- Estado
- Nuevo
- ISBN 10 / ISBN 13
- 9783540250517 / 3540250514
- Cantidad disponible
- 4
- Librería
-
Woodside, New York, United States
- Precio
-
EUR 138.57EUR 3.72 enviando a USA
Mostrar detalles
Descripción:
Springer , pp. 580 . Papeback. New.
Precio
EUR 138.57
EUR 3.72
enviando a USA