9780792351290 - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8... (1 Ergebnisse)

ISBN: 9780792351290

Mit der Detailsuche verfeinern

Sortiert nach

Beispielbild f�r diese ISBN

Automated Deduction - A Basis for Applications, Volume I Foundations - Calculi and Methods.

Bibel, Wolfgang; Schmitt, Peter H.:

Verlag: Kluwer Academic Publishers, 1998

ISBN 10: 0792351290 ISBN 13: 9780792351290

Sprache: Englisch

Anbieter: Antiquariat Bernhardt, Kassel, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Verk�ufer kontaktieren

Gebraucht - Hardcover
Zustand: Sehr gut

EUR 60,00

EUR 35,95 f�r den Versand von Deutschland nach USA

Anzahl: 1 verf�gbar
In den Warenkorb

gebundene Ausgabe. Zustand: Sehr gut. Hier nur Volume I. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XX, 480 Seiten, Englisch 940g.