Automated reasoning: Introduction and applications

Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos

ISBN 10: 0130544531 ISBN 13: 9780130544537
Verlag: Prentice-Hall, 1984
Gebraucht 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

Dieses Exemplar ist nicht mehr verfügbar. Hier sind die ähnlichsten Treffer für Automated reasoning: Introduction and applications von Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos.

Beschreibung

Beschreibung:

Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.01. Bestandsnummer des Verkäufers G0130544531I4N01

Diesen Artikel melden

Bibliografische Details

Titel: Automated reasoning: Introduction and ...
Verlag: Prentice-Hall
Erscheinungsdatum: 1984
Einband: Hardcover
Zustand: Very Good
Zustand des Schutzumschlags: No Jacket

Beste Suchergebnisse beim ZVAB

Beispielbild für diese ISBN

Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle
Verlag: Prentice-Hall, 1984
ISBN 10: 0130544469 ISBN 13: 9780130544469
Gebraucht Softcover

Anbieter: Wonder Book, Frederick, MD, USA

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

Zustand: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp. Artikel-Nr. N21J-00594

Verkäufer kontaktieren

Gebraucht kaufen

EUR 5,85
Versand gratis
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb