Computational Aspects of an Order-sorted Logic With Term Declarations
Manfred Schmidt-Schauß
Verkauft von Ammareal, Morangis, Frankreich
AbeBooks-Verkäufer seit 29. August 2016
Gebraucht - Softcover
Zustand: Gebraucht - Sehr gut
Anzahl: 1 verfügbar
In den Warenkorb legen