Automation in language translation and theorem proving. Some applications of mathematical logic
Braffort, P. and F. van Scheepen (editors)
Editorial: Commission EC, 1968
Usado
Encuadernación de tapa dura
Librería:
Antiquariaat van Starkenburg, Apeldoorn, Holanda
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 20 de noviembre de 2014
Este ejemplar en concreto ya no está disponible. Estas algunas de las coincidencias similares para Automation in language translation and theorem proving. Some applications of mathematical logic de Braffort, P. and F. van Scheepen (editors).
Descripción
Detalles bibliográficos
Título: Automation in language translation and ...
Editorial: Commission EC
Año de publicación: 1968
Encuadernación: Encuadernación de tapa dura