Automation in language translation and theorem proving. Some applications of mathematical logic
Braffort, P. and F. van Scheepen (editors)
Librería: Antiquariaat van Starkenburg, Apeldoorn, Holanda
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 20 de noviembre de 2014
Usado - Encuadernación de tapa dura
Cantidad disponible: 1 disponibles
Añadir al carrito