Automation in Language Translation and Theorem Proving. Some Applications of Mathematical Logic
P Braffort, F van Scheepen [editors]
Verkäufer Logic and Art, Novara, Italien
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 24. Februar 2014
Gebraucht - Softcover
Anzahl: 1 verfügbar
In den Warenkorb legen