Items related to Automated Reasoning: 33 Basic Research Problems
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.
- PublisherPrentice Hall
- Publication date1987
- ISBN 10 013054552X
- ISBN 13 9780130545527
- BindingPaperback
- LanguageEnglish
- Number of pages319
Search results for Automated Reasoning: 33 Basic Research Problems
Stock Image
Automated Reasoning: 33 Basic Research Problems
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_282079297
Quantity: 1 available
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
Quantity: 1 available
Stock Image
Automated Reasoning: 33 Basic Research Problems
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
paperback. Condition: Very Good. Very Good. book. Seller Inventory # D8S0-3-M-013054552X-6
Quantity: 1 available