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

Handbook of Automated Reasoning: Volume II - Tapa dura

Robinson, A.; Voronkov, A.

 
9780444508126: Handbook of Automated Reasoning: Volume II
Tapa dura
ISBN 10: 0444508120 ISBN 13: 9780444508126
Editorial: Elsevier BV, 2001
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 second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

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

  • EditorialElsevier BV
  • Año de publicación2001
  • ISBN 10 0444508120
  • ISBN 13 9780444508126
  • EncuadernaciónTapa dura
  • Número de páginas1188
  • EditorRobinson Alan

Comprar nuevo

Ver este artículo
9780444508126: Handbook of Automated Reasoning: Volume II
EUR 141,09

Convertir moneda

Gastos de envío: GRATIS
A Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Otras ediciones populares con el mismo título

9780262182225: Handbook of Automated Reasoning, Volume 2: v. 2

Edición Destacada

ISBN 10:  026218222X ISBN 13:  9780262182225
Editorial: MIT Press, 2001
Tapa dura

Los mejores resultados en AbeBooks

Imagen de archivo

ROBINSON
Publicado por North Holland (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
Nuevo Tapa dura Cantidad disponible: 1
Librería:
Basi6 International
(Irving, TX, Estados Unidos de America)
Valoración
Valoración del vendedor: Valoración 5 estrellas, Learn more about seller ratings

Descripción Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT23-370526

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

Comprar nuevo
EUR 141,09
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, A.; Voronkov, A.
Publicado por North Holland (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
Nuevo Tapa dura Cantidad disponible: 1
Librería:
BennettBooksLtd
(North Las Vegas, NV, Estados Unidos de America)
Valoración
Valoración del vendedor: Valoración 4 estrellas, Learn more about seller ratings

Descripción Condición: New. New. In shrink wrap. Looks like an interesting title! 5.47. Nº de ref. del artículo: Q-0444508120

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

Comprar nuevo
EUR 150,62
Convertir moneda

Añadir al carrito

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

Alan J.A. Robinson, Andrei Voronkov
Publicado por North Holland 2001-06-21 (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
Nuevo Tapa dura Cantidad disponible: > 20
Librería:
Chiron Media
(Wallingford, Reino Unido)
Valoración
Valoración del vendedor: Valoración 5 estrellas, Learn more about seller ratings

Descripción Hardcover. Condición: New. Nº de ref. del artículo: 6666-ELS-9780444508126

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

Comprar nuevo
EUR 191,09
Convertir moneda

Añadir al carrito

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

Robinson, Alan J.A.
Publicado por North Holland (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
Nuevo Tapa dura Cantidad disponible: > 20
Impresión bajo demanda
Librería:
Brook Bookstore On Demand
(Napoli, NA, Italia)
Valoración
Valoración del vendedor: Valoración 5 estrellas, Learn more about seller ratings

Descripción Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: bc228190f5f0c56428bbaf4d0cd0da5a

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

Comprar nuevo
EUR 230,15
Convertir moneda

Añadir al carrito

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

Robinson, J. A. (Editor)/ Robinson, Alan/ Voronkov, Andrei (Editor)
Publicado por North-Holland (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
Nuevo Tapa dura Cantidad disponible: 2
Librería:
Revaluation Books
(Exeter, Reino Unido)
Valoración
Valoración del vendedor: Valoración 5 estrellas, Learn more about seller ratings

Descripción Hardcover. Condición: Brand New. 1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock. Nº de ref. del artículo: __0444508120

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

Comprar nuevo
EUR 233,12
Convertir moneda

Añadir al carrito

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

A. Robinson
Publicado por Elsevier BV (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
Nuevo Tapa dura Cantidad disponible: > 20
Impresión bajo demanda
Librería:
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
Valoración del vendedor: Valoración 5 estrellas, Learn more about seller ratings

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

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

Comprar nuevo
EUR 247,24
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 11,60
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: 0444508120 ISBN 13: 9780444508126
Nuevo Tapa dura Cantidad disponible: 1
Librería:
GF Books, Inc.
(Hawthorne, CA, Estados Unidos de America)
Valoración
Valoración del vendedor: Valoración 5 estrellas, Learn more about seller ratings

Descripción Condición: New. Book is in NEW condition. 5.47. Nº de ref. del artículo: 0444508120-2-1

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

Comprar nuevo
EUR 306,02
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, A.; Voronkov, A.
Publicado por North Holland (2001)
ISBN 10: 0444508120 ISBN 13: 9780444508126
Nuevo Tapa dura Cantidad disponible: > 20
Librería:
Lucky's Textbooks
(Dallas, TX, Estados Unidos de America)
Valoración
Valoración del vendedor: Valoración 5 estrellas, Learn more about seller ratings

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

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

Comprar nuevo
EUR 306,46
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,70
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: 0444508120 ISBN 13: 9780444508126
Nuevo Tapa dura Cantidad disponible: > 20
Librería:
moluna
(Greven, Alemania)
Valoración
Valoración del vendedor: Valoración 5 estrellas, Learn more about seller ratings

Descripción Gebunden. Condición: New. This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.Pa. Nº de ref. del artículo: 594685341

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

Comprar nuevo
EUR 341,81
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