Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Computer Science)
Schmidt-Schauss, M.
Verkauft von WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
AbeBooks-Verkäufer seit 14. November 2005
Gebraucht - Softcover
Zustand: Good
Anzahl: 1 verfügbar
In den Warenkorb legen