AUTOMATION IN LANGUAGE TRANSLATION AND THEOREM PROVING SOME APPLICATIONS OF MATHEMATICAL LOGIC
Braffort, P. and van Scheepen, F, (editors)
Librería: Xerxes Fine and Rare Books and Documents, Glen Head, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Honoris Librarius
Miembro de AbeBooks desde 1996
Usado - Encuadernación de tapa dura
Cantidad disponible: 1 disponibles
Añadir al carrito