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
"synopsis" may belong to another edition of this title.
Search results for 33 Basic Research Problems (Automated Reasoning)
Stock Image
Automated Reasoning: 33 Basic Research Problems.
Seller: G. & J. CHESTERS, TAMWORTH, United Kingdom
Seller rating 5 out of 5 stars
Soft cover. Condition: Very Good. pp.x, 374 pages a very good paperback, [013054552X]. Seller Inventory # 118912
Buy Used
£ 6.10
£ 7 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Automated Reasoning : Thirty-Three Basic Research Problems
Published by
Pearson Education, Limited, 1988
ISBN 10: 013054552X
ISBN 13: 9780130545527
Used
Softcover
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # GRP33955691
Buy Used
£ 10.37
£ 5 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Automated Reasoning: 33 Basic Research Problems
Seller: book-link, Nufringen, BW, Germany
Seller rating 5 out of 5 stars
paperback. Condition: Sehr gut. 319 Seiten; *** Top Zustand! M25-06-J-05-VG Sprache: Deutsch Gewicht in Gramm: 500. Seller Inventory # 34597