Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloà Rheinfels, St. Goar, Germany, May 7 - 10, . / Lecture Notes in Artificial Intelligence)

ISBN 10: 3540593381 ISBN 13: 9783540593386
Verlag: Springer, 1995
Sprache: Englisch
Zustand: Gebraucht - Gut Softcover

Verkauft von Bookmonger.Ltd, HILLSIDE, NJ, USA

AbeBooks-Verkäufer seit 20. Juli 2015

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 50,63
EUR 3,42 Versand
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb legen