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

cloth, 295 pp, dustwrappers

Extra information:
Author: Braffort, P. and F. van Scheepen (editors)
Publisher: Commission EC
Published year: 1968
Reference: w193b
Ex. VAT: € 18,35
€ 20,00
Stock: 1

Website by Benjamin Verkleij