Automated Reasoning: Introduction and Applications
Language: English
Published by Prentice-Hall, 1984
- First Edition
- Softcover
- Used
Seller: Callaghan Books South, New Port Richey, FL, U.S.A.Callaghan Books South
AbeBooks seller since January 8, 1999
Condition: Used - Very good
US$ 17.00
Quantity: 1 available
Add to basketItem description from seller
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
Bibliographic details
- Title
- Automated Reasoning: Introduction and Applications
- Author
- Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, James
- Publisher
- Prentice-Hall
- Publication year
- 1984
- Condition
- Very Good
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 0130544469
- ISBN 13
- 9780130544469
- Edition
- First Edition
- Dimensions
- 8vo - over 7¾" - 9¾" tall
- Seller catalogs
- Philosophy, Technology
Callaghan Books South
New Port Richey, FL, U.S.A.
AbeBooks seller since January 8, 1999
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 13.00 | US$ 16.00 |
Payment methods
- Check
- Money Order
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.
Specialty
Poetry, Literary Criticism, Vietnam Conflict, Native American, Books in DanishSeller's business information
Callaghan Books South
FL, U.S.A.
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.