Automation in language translation and theorem proving. Some applications of mathematical logic
Braffort, P. and F. van Scheepen (editors)
Verkäufer Antiquariaat van Starkenburg, Apeldoorn, Niederlande
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 20. November 2014
Gebraucht - Hardcover
Anzahl: 1 verfügbar
In den Warenkorb legen