Items related to Introduction and Applications (Automated Reasoning)
Synopsis
Book by Larry Wos Ross Overbeek Ewing Lusk Jim Boyle
"synopsis" may belong to another edition of this title.
Search results for Introduction and Applications (Automated Reasoning)
Stock Image
Automated Reasoning: Introduction and Applications
Seller: George Cross Books, Lexington, MA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Reprint edition. Very Good/Wraps (27516) A Very Good paperback with lightly rubbed covers. Clean, tight, unmarked. .- 482. Seller Inventory # 27516
Stock Image
Automated Reasoning: Introduction and Applications
Published by
Prentice Hall, 1984
ISBN 10: 0130544469
ISBN 13: 9780130544469
New
Soft cover
First Edition
Seller: BooksByLisa, Highland Park, IL, U.S.A.
Seller rating 5 out of 5 stars
Soft cover. Condition: New. First Edition. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book. Seller Inventory # 6791
Stock Image
Automated Reasoning: Introduction and Applications
Published by
Prentice-Hall (edition First Edition), 1984
ISBN 10: 0130544469
ISBN 13: 9780130544469
Used
Paperback
First Edition
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Fair. First Edition. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way. Seller Inventory # 0130544469-7-1
Stock Image
Automated Reasoning: Introduction and Applications
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0130544469I3N00
Stock Image
Automated Reasoning: Introduction and Applications
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0130544469I5N00
Stock Image
Automated Reasoning: Introduction and Applications
Published by
Prentice-Hall, 1984
ISBN 10: 0130544469
ISBN 13: 9780130544469
Used
Soft cover
First Edition
Seller: Callaghan Books South, New Port Richey, FL, U.S.A.
Seller rating 4 out of 5 stars
Soft cover. Condition: Very Good. First Edition. Very large, very heavy squarish softcover, glossy wrappers with color-illustration of robot in "The Thinker" pose before a computer, colorfully designed wrappers, black spine and back wrapper with colorful lettering, 482 pages. Light wear to top front tips, very slight at back tips, very tiny dent at spine middle left and spine top left edge. Very Good. Seller Inventory # 45019
Stock Image
Automated Reasoning: Introduction and Applications
Seller: GoldBooks, Denver, CO, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # 16M37_50_0130544469
Stock Image
Automated Reasoning: Introduction and Applications
Seller: SHIMEDIA, Brooklyn, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Satisfaction Guaranteed or your money back. Seller Inventory # 0130544469
Stock Image
Automated Reasoning: Introduction and Applications
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0130544469