Automated Reasoning: Introduction and Applications

Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle

ISBN 10: 0130544469 ISBN 13: 9780130544469

Published by Prentice Hall, 1984

Language: English

New Condition: New Soft cover

From BooksByLisa, Highland Park, IL, U.S.A.

Seller rating 5 out of 5 stars

AbeBooks Seller since September 27, 2022

View this seller's items

View all copies of this book

New - Soft cover

Price: US$ 33.32 Convert Currency

Free shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

About this Item

PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Seller Inventory # 6791

Report this item

Bibliographic Details

Title: Automated Reasoning: Introduction and ...

Publisher: Prentice Hall

Publication Date: 1984

Binding: Soft cover

Condition: New

Edition: First Edition.

Store Description

My Bookstore has a wide variety of books, both new and used.. all in quality condition as described

Visit Seller's Storefront

Seller's business information

BooksByLisa
IL, U.S.A.

Terms of Sale:

Lisa Savin: 847-274-4830
19499 Cedar Glen Dr Boca Raron, FL. 33434
8 Ridge Road Highland Park, IL. 60035

Media Shipling is 3.99 per book and .09 per lb book over 1lb. Pack and ship by 3-5 days. only Priority Service as option is $8.00 plus .09 per lb over 1lb

Sellers are required to accept returns, when initiated within 30 days of the estimated delivery date, for all reasons under AbeBooks' Return Policy. Refund amounts are based on the return reason. If the return reason cannot be determined, ...

More Information

Shipping Terms:

no insurancd ofher the THE USPS $50 inless requested and paid by buyer

Payment Methods
accepted by seller

Add to Wants