Automated Reasoning: Introduction and Applications

Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos

ISBN 10: 0130544531 ISBN 13: 9780130544537
Verlag: Prentice Hall, 1984
Sprache: Englisch
Gebraucht Zustand: Very Good Hardcover

Verkäufer ThriftBooks-Atlanta, AUSTELL, GA, USA

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

AbeBooks-Verkäufer seit 24. März 2009

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Hardcover

Preis: EUR 182,06 Währung umrechnen
Kostenlos für den Versand innerhalb von/der USA Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen