Automation in language translation and theorem proving. Some applications of mathematical logic
Braffort, P. / F. van Scheepen (Ed.) -
Verkäufer Antiquariat Smock, Freiburg, Deutschland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 15. November 2010
Gebraucht - Hardcover
Anzahl: 1 verfügbar
In den Warenkorb legen