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

Braffort, P. / F. van Scheepen (Ed.) -

Published by Brussels, Kommission der Europäischen Gemeinschaften (EUR 4038 e), 1968
Condition: Used Hardcover

Sold by Antiquariat Smock, Freiburg, Germany

AbeBooks Seller since 15 November 2010

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

View this seller's items


Used - Hardcover

Condition: Akzeptabel

Price:
£ 21.32
£ 29.24 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket