The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

Libro 27 de 27: Computational Intelligence

Plaisted, David A.

ISBN 10: 352805574X ISBN 13: 9783528055745
Editorial: Vieweg+Teubner Verlag
Idioma: Alemán
Condición: Usado - Aceptable Encuadernación de tapa blanda

Vendido por Buchmarie, Darmstadt, Alemania

Vendedor de AbeBooks desde 21 de junio de 2021

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Usado - Encuadernación de tapa blanda

Condición: Usado - Aceptable

Precio:
EUR 36,68
Envío por EUR 42,00
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito