Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Lecture Notes in Computer Science)

Schubert, E. Thomas [Editor]; Windley, Phillip J. [Editor]; Alves-Foss, James [Editor];

ISBN 10: 3540602755 ISBN 13: 9783540602750
Verlag: Springer, 2009
Sprache: Englisch
Zustand: Gebraucht - Gut Softcover

Verkauft von GuthrieBooks, Spring Branch, TX, USA

AbeBooks-Verkäufer seit 1. Februar 2007

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Zustand: Gebraucht - Gut

Preis:
EUR 37,83
EUR 5,84 Versand
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb legen