Theorem Proving in Higher Order Logics : 9th International Conference, TPHOL 96, Turku, Finland, August 1996: Proceedings

Wright, J., International Conference on Theorem Proving in Hig, Grundy, J., Harrison, J.

ISBN 10: 3540615873 ISBN 13: 9783540615873
Verlag: Springer, 1996
Sprache: Englisch
Zustand: Gebraucht - Befriedigend Softcover

Verkauft von Better World Books: West, Reno, NV, USA

AbeBooks-Verkäufer seit 14. März 2016

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 - Befriedigend

Preis:
EUR 14,72
Versand gratis
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb legen