Artículos relacionados a Handbook of Automated Reasoning: Volume I
Sinopsis
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.
"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.
- EditorialElsevier - Academic Press
- Año de publicación2001
- ISBN 10 0444829490
- ISBN 13 9780444829498
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas998
- EditorRobinson Alan
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 170,00
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Handbook of Automated Reasoning: Volume I
Imagen del vendedor
Handbook of Automated Reasoning. Vol.1
Impresión bajo demandaLibrería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 996 pp. Englisch. Nº de ref. del artículo: 9780444829498
Cantidad disponible: 2 disponibles
Imagen del vendedor
Handbook of Automated Reasoning. Vol.1
Impresión bajo demandaLibrería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9780444829498
Cantidad disponible: 2 disponibles
Imagen de archivo
Handbook of Automated Reasoning
Publicado por
ELSEVIER SCIENCE & TECHNOLOGY, 2001
ISBN 10: 0444829490
ISBN 13: 9780444829498
Antiguo o usado
Tapa dura
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 996 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 2037896/2
Cantidad disponible: 1 disponibles
Imagen de archivo
Handbook of Automated Reasoning
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
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
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Handbook of Automated Reasoning
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 684925-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Handbook of Automated Reasoning
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 684925-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Handbook of Automated Reasoning (Volume I)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780444829498_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Handbook of Automated Reasoning
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
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
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
HANDBK OF AUTOMATED REASONING
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
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
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Handbook of Automated Reasoning
Publicado por
North Holland, 2001
ISBN 10: 0444829490
ISBN 13: 9780444829498
Antiguo o usado
Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 684925
Cantidad disponible: Más de 20 disponibles