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

Contact seller

Report this item

Bibliographic Details

Title

Automated Reasoning: Introduction and Applications

Publisher

Prentice-Hall

Publication Date

1984

Language

English

ISBN 10

0130544469

ISBN 13

9780130544469

Binding

Soft cover

Edition

First Edition

Condition

Very Good

Seller catalogs

Store Description

Selling by mail order directly to customers, bookdealers and collectors from an inventory of more than 40,000 books, strong in literature, history, Native American and Vietnam Conflict. All defects seen are stated: a microtear or micronick is a defect smaller than 1/16 of an inch, but visible.

Visit Seller's Storefront

Seller's business information

Callaghan Books South
FL, U.S.A.

Sale & Shipping Terms

Terms of Sale

Check or money order, or Paypal. Buyer pays postage--usually 4.00 to 5.00 for sales inside U.S.. $25 or more for international sales, minimum, due to postal hikes and inaccurate U.S. Postal Service rate calculators. All defects noted. Book returnable if not as described.

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 8.00	US$ 16.00

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.