Automated Reasoning: Introduction and Applications

Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, James

ISBN 10: 0130544469 ISBN 13: 9780130544469
Verlag: Prentice-Hall, 1984
Sprache: Englisch
Zustand: Gebraucht - Gut Softcover

Verkauft von Callaghan Books South, New Port Richey, FL, USA

Heritage Bookseller
AbeBooks-Verkäufer seit 8. Januar 1999

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

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Zustand: Gebraucht - Gut

Preis:
EUR 14,91
EUR 6,81 shipping
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb legen