Automated Theorem Proving : After 25 Years

Bledsoe, W. W.; Loveland, Donald W. (EDT)

ISBN 10: 082185027X ISBN 13: 9780821850275
Editorial: Amer Mathematical Society, 1984
Idioma: Inglés
Condición: Usado - Como Nuevo Encuadernación de tapa blanda

Vendido por GreatBookPricesUK, Woodford Green, Reino Unido

Vendedor de AbeBooks desde 28 de enero de 2020

Calificación del vendedor: 5 de 5 estrellas Valoración 5 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 - Como Nuevo

Precio: EUR 76,84 Convertir moneda
EUR 17,33 gastos de envío desde Reino Unido a España Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito