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

cloth, 295 pp, dustwrappers

Extra informatie:
Auteur: Braffort, P. and F. van Scheepen (editors)
Uitgever: Commission EC
Jaar van uitgave: 1968
Referentie: w193b
Excl. BTW: € 18,35
€ 20,00
Voorraad: 1

Website door Benjamin Verkleij