Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Seller Inventory # GRP33955691

Contact seller

Report this item

Bibliographic Details

Title: Automated Reasoning : Thirty-Three Basic Research Problems
Publisher: Pearson Education, Limited
Publication Date: 1988
Language: English
ISBN 10: 013054552X
ISBN 13: 9780130545527
Binding: Soft cover
Condition: Good
Weight: 1 pound

About this title

Synopsis

Discusses ways to contribute to the field of automated reasoning by solvving the proposed research problems and exploring new technologies such as parallel processing and logic programming

"About this title" may belong to another edition of this title.

Store Description

Better World Books is the world?s leading socially conscious online bookseller and has sold over 100 million books. Each sale generates funds for global literacy. We offer low prices, fast shipping, and have a 100% money back guarantee.

Visit Seller's Storefront

Seller's business information

Better World Books Ltd
Better World Books, Third Floor, One London Square, Cross Lanes, Guildford, GU1 1UN, United Kingdom

Sale & Shipping Terms

Terms of Sale

Better World Books (BWB) values your satisfaction and offers you returns within thirty (30) days after the estimated delivery date on most items. All returned items must be in the original condition; used items should include the SKU sticker located on the spine or back of the product.

If you have an incomplete, incorrect, or damaged shipment, please contact our Customer Care team via Abebooks contact seller options before proceeding with the return.Please keep in mind that because we deal mostl...

More Information

Shipping Terms

Please allow 1-2 business days for order fulfillment.

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	11 to 28 business days	11 to 28 business days
First item	US$ 6.60	US$ 6.60

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.