Automation in language translation and theorem proving. Some applications of mathematical logic
Braffort, P. and F. van Scheepen (editors)
Sold by Antiquariaat van Starkenburg, Apeldoorn, Netherlands
AbeBooks Seller since November 20, 2014
Used - Hardcover
Ships from Netherlands to U.S.A.
Quantity: 1 available
Add to basket