登入選單
返回Google圖書搜尋
Automated Reasoning
Larry Wos
其他書名
Introduction and Applications
出版Prentice-Hall, 1984
主題Computers / Artificial Intelligence / GeneralComputers / Programming / GeneralReference / Questions & Answers
ISBN01305444699780130544469
URLhttp://books.google.com.hk/books?id=A99QAAAAMAAJ&hl=&source=gbs_api