Automated Reasoning: 33 Basic Research Problems.

Wos, Larry

ISBN 10: 013054552X ISBN 13: 9780130545527

Published by Prentice Hall, 1987

Language: English

Condition: Used - Very good Soft cover

Save for Later

Sold by G. & J. CHESTERS, TAMWORTH, United Kingdom

Heritage Bookseller
AbeBooks Seller since May 12, 2000

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Soft cover

Condition: Used - Very good

Price:

US$ 8.68

US$ 9.68 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

pp.x, 374 pages a very good paperback, [013054552X].

Seller Inventory # 118912

Contact seller

Report this item

Bibliographic Details

Title

Automated Reasoning: 33 Basic Research Problems.

Publisher

Prentice Hall

Publication Date

1987

Language

English

ISBN 10

013054552X

ISBN 13

9780130545527

Binding

Soft cover

Condition

Very Good

Seller catalogs

COMPUTERS

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

Our shop is now closed. We work from a local warehouse. Visitors by appointment. Our stock of 45,000 items includes academic books, enthusiasts' books, and antiquarian books.

Visit Seller's Storefront

Seller's business information

G. & J. CHESTERS
United Kingdom

Sale & Shipping Terms

Terms of Sale

ALL BOOKS ARE IN VERY GOOD CONDITION UNLESS OTHERWISE DESCRIBED. ANY BOOK WHICH IS CONSIDERED TO BE WRONGLY DESCRIBED AND WITH WHICH THE CUSTOMER IS NOT SATISFIED MAY BE RETURNED AND MONEY WILL BE REFUNDED. TWO ASTERISKS AFTER THE DATE OF PUBLICATION SIGNIFY AN EX-LIBRARY COPY IN GENERALLY VERY GOOD CONDITION. "DW" IS AN ABBREVIATION FOR DUSTWRAPPER (OR DUST-JACKET).
WE TAKE VISA and MASTERCARD. PLEASE INDICATE ANY PREFERENCE FOR SURFACE MAIL OR AIRMAIL (IF YOU DO NOT LIVE IN EUROPE).
NOTE THAT ...

More Information

Shipping Terms

Postage and packing is always at cost (the only fair system) so please ignore the irrelevant default figure. If the book which you order is heavy or oversized, we will contact you to let you know that extra shipping is required. On the other hand, if the book is very light, we will reduce the postage costs.
If you know that the book which you wish to buy is heavy, you could email us to learn the postage before ordering.

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

Shipping rates from United Kingdom to U.S.A.
Order quantity	14 to 45 business days	5 to 10 business days
First item	US$ 9.68	US$ 12.51

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.