Contemporary Mathematics: Volume 29. Automated Theorem Proving: After 25 Years.
Bledsoe, W. W.; W., Donald (Editor) Loveland
Vendido por Alien Bindings, BALTIMORE, MD, Estados Unidos de America
Vendedor de AbeBooks desde 3 de abril de 2019
Usado - Encuadernación de tapa blanda
Condición: Usado - Bueno
Cantidad disponible: 1 disponibles
Añadir al carrito