Automation in language translation and theorem proving. Some applications of mathematical logic
Braffort, P. and F. van Scheepen (editors)
From Antiquariaat van Starkenburg, Apeldoorn, Netherlands
Seller rating 5 out of 5 stars
AbeBooks Seller since November 20, 2014