登入選單
返回Google圖書搜尋
Automated Reasoning
Larry Wos
其他書名
33 Basic Research Problems
出版Prentice-Hall, 1988
主題Computers / GeneralComputers / Artificial Intelligence / General
ISBN013054552X9780130545527
URLhttp://books.google.com.hk/books?id=zAMnAAAAMAAJ&hl=&source=gbs_api
註釋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.