Descripción:
North Holland, 2001-07-05. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Foto de archivo: la portada puede ser diferente
Handbook of Automated Reasoning: Volume II Tapa dura - 2001 - 1st Edición
de Alan J. Robinson (Editor); Andrei Voronkov (Editor)
Primera línea
Type theory is a language for formalizing mathematics which was invented by Bertrand Russell [Russell 1908].
Detalles
- Título Handbook of Automated Reasoning: Volume II
- Autor Alan J. Robinson (Editor); Andrei Voronkov (Editor)
- Encuadernación Tapa dura
- Número de edición 1st
- Edición 1
- Páginas 1188
- Volúmenes 1
- Idioma ENG
- Editorial North-Holland
- Fecha de publicación 2001-06-21
- Ilustrado Sí
- Features Bibliography, Illustrated, Index
- ISBN 9780444508126 / 0444508120
- Peso 4.56 libras (2.07 kg)
- Dimensiones 9.61 x 6.69 x 2.38 pulgadas (24.41 x 16.99 x 6.05 cm)
- Library of Congress subjects Automatic theorem proving, Qualitative reasoning
- Número de catálogo de la Librería del Congreso de EEUU 2001090839
- Dewey Decimal Code 511.3
Más ejemplares
Foto de archivo: la portada puede ser diferente
Handbook of Automated Reasoning (Volume II)
de Robinson, Alan J.A. [Editor]; Voronkov, Andrei [Editor];
- Nuevo
- Tapa dura
- Estado
- Nuevo
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780444508126 / 0444508120
- Cantidad disponible
- 1
- Librería
-
San Diego, California, United States
- Precio
-
EUR 154.24EUR 5.08 enviando a USA
Mostrar detalles
Precio
EUR 154.24
EUR 5.08
enviando a USA
Foto de archivo: la portada puede ser diferente
Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)
de Robinson, J. A. (Editor)/ Robinson, Alan/ Voronkov, Andrei (Editor)
- Nuevo
- Tapa dura
- Estado
- Nuevo
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780444508126 / 0444508120
- Cantidad disponible
- 1
- Librería
-
Exeter, Devon, United Kingdom
- Precio
-
EUR 231.55EUR 11.90 enviando a USA
Mostrar detalles
Descripción:
North-Holland, 2001. Hardcover. New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches.
Precio
EUR 231.55
EUR 11.90
enviando a USA
Foto de archivo: la portada puede ser diferente
Handbook of Automated Reasoning
de A. Robinson
- Nuevo
- Tapa dura
- Estado
- Nuevo
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780444508126 / 0444508120
- Cantidad disponible
- 123
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 258.99EUR 9.50 enviando a USA
Mostrar detalles
Descripción:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Handbook of Automated Reasoning.
Precio
EUR 258.99
EUR 9.50
enviando a USA