登入選單

返回Google圖書搜尋

Deduction Systems in Artificial Intelligence

Karl Hans BläsiusHans-Jürgen Bürckert

出版	Ellis Horwood, 1989
主題	Computers / Artificial Intelligence / GeneralComputers / Computer ScienceMathematics / Logic
ISBN	047021550X9780470215500
URL	http://books.google.com.hk/books?id=bORQAAAAMAAJ&hl=&source=gbs_api