Automated Reasoning: Introduction and Applications
Larry Wos,Ross Overbeek,Ewing Lusk,Jim Boyle
ISBN 10: 0130544469 ISBN 13: 9780130544469
Published by Prentice Hall, 1984
Used
paperback
From
HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 11 March 2019
This specific item is no longer available.
About this Item
Description:
Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or limited writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_361284107
Synopsis:
Book by Larry Wos Ross Overbeek Ewing Lusk Jim Boyle
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Automated Reasoning: Introduction and ...
Publisher: Prentice Hall
Publication Date: 1984
Binding: paperback
Condition: Very Good
Top Search Results from the AbeBooks Marketplace
Stock Image
Automated Reasoning: Introduction and Applications
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_398937196
Stock Image
Automated Reasoning: Introduction and Applications
Seller: Wonder Book, Frederick, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # N21J-00594
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: 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: 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
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
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
Seller Image
Automated Reasoning: Introduction and Applications
Published by
Prentice Hall 10.02.1984., 1984
ISBN 10: 0130544469
ISBN 13: 9780130544469
Used
Softcover
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Gut. 482 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 17,0 x 3,0 cm, Taschenbuch. Seller Inventory # 388089
Stock Image
Automated Reasoning: Introduction and Applications
Seller: GoldBooks, Denver, CO, U.S.A.
Seller rating 5 out of 5 stars
Condition: new. Seller Inventory # 16M37_50_0130544469
Stock Image
Automated Reasoning: Introduction and Applications
Seller: SHIMEDIA, Orient, NY, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Satisfaction Guaranteed or your money back. Seller Inventory # 0130544469