Automation in Language Translation and Theorem Proving: Some Applications O F Mathematical Logic

Braffort, P., And F. Van Scheepen, Editors

Verlag: Commission of the European C, 1968
Sprache: Englisch
Zustand: Gebraucht - Befriedigend Hardcover

Verkauft von BookDepart, Shepherdstown, WV, USA

Heritage Bookseller
AbeBooks-Verkäufer seit 18. April 1998

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Hardcover

Zustand: Gebraucht - Befriedigend

Preis:
EUR 64,35
EUR 7,31 Versand
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb legen