Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings (Lecture Notes in Computer Science, 780)
Verkauft von Ria Christie Collections, Uxbridge, Vereinigtes Königreich
AbeBooks-Verkäufer seit 25. März 2015
Neu - Softcover
Zustand: Neu
Anzahl: Mehr als 20 verfügbar
In den Warenkorb legen