Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science)
Schmidt-Schau??, Manfred
Verkäufer GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 1. Februar 2007
Gebraucht - Softcover
Anzahl: 1 verfügbar
In den Warenkorb legen