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

Braffort, P. and F. van Scheepen (editors)

Published by Commission EC, 1968
Hardcover

From Antiquariaat van Starkenburg, Apeldoorn, Netherlands

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

AbeBooks Seller since November 20, 2014

View this seller's items


Buy Used

Price: US$ 22.48 Convert Currency
Shipping: US$ 32.74 From Netherlands to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket