Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Automation of Reasoning : Classical Papers on Computational Logic 1957-1966.
Foto de archivo: la portada puede ser diferente
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 Tapa blanda - 2012
de J. Siekmann (Editor); G. Wrightson (Editor)
Detalles
- Título Automation of Reasoning: Classical Papers on Computational Logic 1957-1966
- Autor J. Siekmann (Editor); G. Wrightson (Editor)
- Encuadernación Tapa blanda
- Edición Softcover reprin
- Páginas 528
- Volúmenes 1
- Idioma ENG
- Editorial Springer
- Fecha de publicación 2012-01-10
- Features Bibliography
- ISBN 9783642819544 / 3642819540
- Peso 1.89 libras (0.86 kg)
- Dimensiones 9.61 x 6.69 x 1.1 pulgadas (24.41 x 16.99 x 2.79 cm)
- Dewey Decimal Code 005.131
Más ejemplares
Foto de archivo: la portada puede ser diferente
Automation of Reasoning : Classical Papers on Computational Logic 1957-1966
de Jörg Siekmann
- Nuevo
- Estado
- Nuevo
- ISBN 10 / ISBN 13
- 9783642819544 / 3642819540
- Cantidad disponible
- 593
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 112.56EUR 9.57 enviando a USA
Mostrar detalles
Precio
EUR 112.56
EUR 9.57
enviando a USA
Foto de archivo: la portada puede ser diferente
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966
de Jorg Siekmann
- Nuevo
- Tapa blanda
- Estado
- Nuevo
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783642819544 / 3642819540
- Cantidad disponible
- 10
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 137.24EUR 11.92 enviando a USA
Mostrar detalles
Descripción:
Paperback / softback. New. Gelernter finished a computer program to prove simple high school geometry theorems. The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.
Precio
EUR 137.24
EUR 11.92
enviando a USA
Foto de archivo: la portada puede ser diferente
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation / Artificial Intelligence)
de Siekmann, J. (Editor) / Wrightson, G. (Editor)
- Nuevo
- Tapa blanda
- Estado
- Nuevo
- Encuadernación
- Paperback
- ISBN 10 / ISBN 13
- 9783642819544 / 3642819540
- Cantidad disponible
- 2
- Librería
-
Exeter, Devon, United Kingdom
- Precio
-
EUR 139.28EUR 11.98 enviando a USA
Mostrar detalles
Descripción:
Springer-Verlag, 2012. Paperback. New. reprint edition. 537 pages. 9.61x6.61x1.50 inches.
Precio
EUR 139.28
EUR 11.98
enviando a USA
Foto de archivo: la portada puede ser diferente
Automation of Reasoning
- Nuevo
- Estado
- Nuevo
- ISBN 10 / ISBN 13
- 9783642819544 / 3642819540
- Cantidad disponible
- 4
- Librería
-
Woodside, New York, United States
- Precio
-
EUR 137.30EUR 3.78 enviando a USA
Mostrar detalles
Descripción:
Springer , pp. 546, . Papeback. New.
Precio
EUR 137.30
EUR 3.78
enviando a USA