Automation in language translation and theorem proving. Some applications of mathematical logic

Braffort, P. and F. van Scheepen (editors)

Editorial: Commission EC, 1968
Condición: Usado Encuadernación de tapa dura

Vendido por Antiquariaat van Starkenburg, Apeldoorn, Holanda

Vendedor de AbeBooks desde 20 de noviembre de 2014

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Usado - Encuadernación de tapa dura

Precio:
EUR 20,00
EUR 30,00 shipping
Se envía de Holanda a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito