Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395)
Schmidt-Schauß, Manfred
ISBN 10:
3540517057 ISBN 13:
9783540517054
Verlag: Springer, 1989
Sprache: Englisch
Neu
Zustand: New
Softcover
Verkauft von Ria Christie Collections, Uxbridge, Vereinigtes Königreich
AbeBooks-Verkäufer seit 25. März 2015
Neu - Softcover
Zustand: New
Preis:
EUR 44,28
Währung umrechnen
EUR 5,74
für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer
Anzahl: Mehr als 20 verfügbar
In den Warenkorb legen