Automated Reasoning: 33 Basic Research Problems

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
to view more data

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

Low Price Summary






Top Bookstores


























We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.

DISCLOSURE: We're an eBay Partner Network affiliate and we earn commissions from purchases you make on eBay via one of the links above.

Want a Better Price Offer?

Set a price alert and get notified when the book starts selling at your price.

Want to Report a Pricing Issue?

Let us know about the pricing issue you've noticed so that we can fix it.