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 8 November 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

£ 15 30% off
Price:
£ 10.50
£ 14 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket