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.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Handbook of Automated Reasoning: Volume I
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 | Keine Beschreibung verfügbar. Nº de ref. del artículo: 2037896/2
Comprar usado
EUR 216,74
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 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: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Alemania
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: gut. 2001. Handbook of Automated Reasoning In englischer Sprache. pages. Nº de ref. del artículo: BN126201
Comprar usado
EUR 649,90
Envío por EUR 39,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Handbook of Automated Reasoning (Volume I)
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. New Copy. Customer Service Guaranteed. Nº de ref. del artículo: 83V46_58_0444829490
Comprar nuevo
EUR 984,34
Envío por EUR 4,84
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles