Automation in Language Translation and Theorem Proving. Some Applications of Mathematical Logic

P Braffort, F van Scheepen [editors]

Published by Euratom, 1968
Condition: ottimo Soft cover

From Logic and Art, Novara, Italy

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

AbeBooks Seller since February 24, 2014

View this seller's items


Used - Soft cover

Price: US$ 23.60 Convert Currency
US$ 22.91 shipping from Italy to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket