Automation in Language Translation and Theorem Proving. Some Applications of Mathematical Logic
P Braffort, F van Scheepen [editors]
Published by Euratom, 1968
Used
Brossura
From
Logic and Art, Novara, NO, Italy
Seller rating 5 out of 5 stars
AbeBooks Seller since February 24, 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 P Braffort, F van Scheepen [editors].
About this Item
Description:
Fine, clean, tight copy. Cover in good condition with imperfections on spine and angles. Outer sleeve in fair condition. Ex libris on first endpaper. Seller Inventory # ABE-1723214798984
Bibliographic Details
Title: Automation in Language Translation and ...
Publisher: Euratom
Publication Date: 1968
Binding: Brossura
Condition: ottimo
Dust Jacket Condition: discreto
Edition: prima edizione
Top Search Results from the AbeBooks Marketplace
Automation in Language Translation and Theorem Proving. Some Applications of Mathematical Logic. Brussels, June 1968.
Published by
Commission Of The European Communities. Directorate-General For Dissemination Of Information, Brussel, 1968
Used
Hardcover
First Edition
Seller: Literary Cat Books, Machynlleth, Powys, WALES, United Kingdom
Seller rating 3 out of 5 stars
Hardcover (rebound in cloth). Condition: Good. Dust Jacket Condition: No Dust Jacket. First Edition; First Edition. 295 pages. With library stamps & labels. New endpapers. Slight wear to spine, covers & corners. ; Ex-Library; Quarto. Seller Inventory # 20960
Buy Used
US$ 14.47
US$ 18.72 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
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.19
US$ 35.23 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