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
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
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
Automated Reasoning: Introduction and Applications
Anbieter: Wonder Book, Frederick, MD, USA
Verkäuferbewertung 5 von 5 Sternen
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
Gebraucht kaufen
EUR 5,85
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar