Automation in Language Translation and Theorem Proving. Some Applications of Mathematical Logic
P Braffort, F van Scheepen [editors]
From Logic and Art, Novara, Italy
Seller rating 5 out of 5 stars
AbeBooks Seller since February 24, 2014
Used - Soft cover
Quantity: 1 available
Add to basket