Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Bledsoe, W. W.
Vendido por Ria Christie Collections, Uxbridge, Reino Unido
Vendedor de AbeBooks desde 25 de marzo de 2015
Nuevos - Encuadernación de tapa blanda
Condición: Nuevo
Cantidad disponible: 2 disponibles
Añadir al carrito