Artículos relacionados a The Efficiency of Theorem Proving Strategies. A Comparative...
The Efficiency of Theorem Proving Strategies. A Comparative and Asymptotic Analysis - Tapa blanda
Libro 27 de 27: Computational Intelligence
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.
Resultados de la búsqueda para The Efficiency of Theorem Proving Strategies. A Comparative...
Imagen del vendedor
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 Broschiert
Librería: Antiquariat Bernhardt, Kassel, Alemania
Calificación del vendedor: 5 de 5 estrellas
Broschiert Broschiert. Condición: Sehr gut. VI, 167 Seiten, Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 236. Nº de ref. del artículo: 492374
Comprar usado
EUR 36,00
Envío por EUR 49,90
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
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)
Publicado por
Vieweg+Teubner Verlag
ISBN 10: 352805574X
ISBN 13: 9783528055745
Antiguo o usado
Tapa blanda
Librería: Buchmarie, Darmstadt, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: Good. Nº de ref. del artículo: 3613568_92b_x
Comprar usado
EUR 31,90
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