Automated Deduction - Cade-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : Proceedings

Mccune, William (EDT); McCune, W.; International Conference on Automated Deduction 1997 Townsville, Qld

ISBN 10: 3540631046 ISBN 13: 9783540631040
Verlag: Springer, 1997
Sprache: Englisch
Zustand: Gebraucht - Wie neu Softcover

Verkauft von GreatBookPrices, Columbia, MD, USA

AbeBooks-Verkäufer seit 6. April 2009

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 - Wie neu

Preis:
EUR 59,35
EUR 2,27 Versand
Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb legen