Artículos relacionados a Handbook of Automated Reasoning: Volume I

Handbook of Automated Reasoning: Volume I - Tapa dura

 
9780444829498: Handbook of Automated Reasoning: Volume I
Ver todas las copias de esta edición ISBN.
 
 
Book by None

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor:
This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo

Ver este artículo

Gastos de envío: EUR 11,81
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Otras ediciones populares con el mismo título

9780262182218: Handbook of Automated Reasoning: v. 1

Edición Destacada

ISBN 10:  0262182211 ISBN 13:  9780262182218
Editorial: MIT Press, 2001
Tapa dura

Los mejores resultados en AbeBooks

Imagen de archivo

A. Robinson
Publicado por Elsevier - Academic Press (2001)
ISBN 10: 0444829490 ISBN 13: 9780444829498
Nuevo Tapa dura Cantidad disponible: > 20
Impresión bajo demanda
Librería:
Ria Christie Collections
(Uxbridge, Reino Unido)

Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9780444829498_lsuk

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 203,70
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 11,81
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Robinson, Alan J.A.
Publicado por Elsevier Science (2001)
ISBN 10: 0444829490 ISBN 13: 9780444829498
Nuevo Tapa dura Cantidad disponible: > 20
Impresión bajo demanda
Librería:
PBShop.store US
(Wood Dale, IL, Estados Unidos de America)

Descripción HRD. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L1-9780444829498

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 223,39
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Robinson, Alan J.A.
Publicado por Elsevier Science (2001)
ISBN 10: 0444829490 ISBN 13: 9780444829498
Nuevo Tapa dura Cantidad disponible: > 20
Impresión bajo demanda
Librería:
PBShop.store UK
(Fairford, GLOS, Reino Unido)

Descripción HRD. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L1-9780444829498

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 212,87
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 29,59
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Robinson, A.; Voronkov, A.
Publicado por North Holland (2001)
ISBN 10: 0444829490 ISBN 13: 9780444829498
Nuevo Tapa dura Cantidad disponible: > 20
Librería:
Lucky's Textbooks
(Dallas, TX, Estados Unidos de America)

Descripción Condición: New. Nº de ref. del artículo: ABLIING23Feb2215580212675

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 269,13
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,72
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor

Robinson, Alan|Voronkov, Andrei
Publicado por Elsevier Science (2001)
ISBN 10: 0444829490 ISBN 13: 9780444829498
Nuevo Tapa dura Cantidad disponible: > 20
Librería:
moluna
(Greven, Alemania)

Descripción Gebunden. Condición: New. This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.Part I. History 1. The Early History o. Nº de ref. del artículo: 594687213

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 298,61
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío