Reseña del editor
Examining the efficiency of theorem proving strategies, this text provides a comparative and asymptotic anlaysis.
"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 The Efficiency of Theorem Proving Strategies. A Comparative...
Imagen de archivo
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
Publicado por
Friedr Vieweg & Sohn Verlagsgesellschaft, 1997
ISBN 10: 352805574X
ISBN 13: 9783528055745
Antiguo o usado
Softcover
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-867-888
Comprar usado
EUR 6,99
Gastos de envío:
EUR 22,50
De Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence).
Publicado por
Braunschweig, Wiesbaden: Vieweg & Sohn Verlagsgesellschaft, 1997
ISBN 10: 352805574X
ISBN 13: 9783528055745
Antiguo o usado
Broschiert
Librería: Antiquariat Bernhardt, Kassel, Alemania
Calificación del vendedor: 5 de 5 estrellas
Broschiert. Condición: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. VI, 167 Seiten, Englisch 236g. Nº de ref. del artículo: 492374
Comprar usado
EUR 36,00
Gastos de envío:
EUR 35,95
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles