Automation in Language Translation and Theorem Proving. Some Applications of Mathematical Logic. Brussels, June 1968.

Braffort, P. & F. Van Scheepen (editors)

Published by Commission Of The European Communities. Directorate-General For Dissemination Of Information, Brussel, 1968
Condition: Used - Good Hardcover

Sold by Literary Cat Books, Machynlleth, Powys, WALES, United Kingdom

Association Member:

AbeBooks Seller since November 8, 2005

Seller rating 3 out of 5 stars 3-star rating, Learn more about seller ratings

View this seller's items


Used - Hardcover

Condition: Used - Good

Price:
US$ 14.48
US$ 18.74 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket