Automation in language translation and theorem proving. Some applications of mathematical logic
Braffort, P. and F. van Scheepen (editors)
Published by Commission EC, 1968
Used
Hardcover
From
Antiquariaat van Starkenburg, Apeldoorn, Netherlands
Seller rating 5 out of 5 stars
AbeBooks Seller since November 20, 2014
This specific copy is no longer available. Here are our closest matches for Automation in language translation and theorem proving. Some applications of mathematical logic by Braffort, P. and F. van Scheepen (editors).
About this Item
Bibliographic Details
Title: Automation in language translation and ...
Publisher: Commission EC
Publication Date: 1968
Binding: Hardcover
Top Search Results from the AbeBooks Marketplace
Seller Image
Automation in language translation and theorem proving. Some applications of mathematical logic
Published by
Commission EC, 1968
Used
Hardcover
Seller: Antiquariaat van Starkenburg, Apeldoorn, Netherlands
Seller rating 5 out of 5 stars
cloth, 295 pp, dustwrappers. Seller Inventory # wk144
Buy Used
US$ 24.15
US$ 35.18 shipping
Ships from Netherlands to U.S.A.
Ships from Netherlands to U.S.A.
Quantity: 1 available
Automation in Language Translation and Theorem Proving: Some Applications of Mathematical Logic
Published by
Commission of the European Communities, 1968
Used
Hardcover
Seller: BookDepart, Shepherdstown, WV, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: UsedGood. Hardcover; surplus library copy with the usual stampings; reference number taped to front cover; fading and shelf wear to exterior; otherwise contents in good condition with clean text, firm binding. Seller Inventory # 59857