Automated Reasoning: 33 Basic Research Problems

(7)
Automated Reasoning: 33 Basic Research Problems image
ISBN-10:

013054552X

ISBN-13:

9780130545527

Author(s): Wos, Larry
Released: Nov 01, 1987
Publisher: PRENTICE/HALL
Format: Paperback, 319 pages

Description:

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

Best prices to buy, sell, or rent ISBN 9780130545527




Related Books

Frequently Asked Questions about Automated Reasoning: 33 Basic Research Problems

You can buy the Automated Reasoning: 33 Basic Research Problems book at one of 20+ online bookstores with BookScouter, the website that helps find the best deal across the web. Currently, the best offer comes from and is $ for the .

The price for the book starts from $16.33 on Amazon and is available from 7 sellers at the moment.

At BookScouter, the prices for the book start at $12.34. Feel free to explore the offers for the book in used or new condition from various booksellers, aggregated on our website.

If you’re interested in selling back the Automated Reasoning: 33 Basic Research Problems book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.

As for the Automated Reasoning: 33 Basic Research Problems book, the best buyback offer comes from and is $ for the book in good condition.

The Automated Reasoning: 33 Basic Research Problems book is in very low demand now as the rank for the book is 8,855,171 at the moment. A rank of 1,000,000 means the last copy sold approximately a month ago.

Not enough insights yet.