圖書名稱: | Logic Programming and Nonmonotonic Reasoning邏輯編程與非單調(diào)推理/會(huì)議錄 | |||
封面圖片: | ||||
出版印刷時(shí)間: | 2005-9 | |||
出版社: | 北京燕山出版社 | |||
圖書作者: | Baral, C.; Baral, Chitta; Greco, Gianluigi | |||
文件格式: | ||||
13位ISBN: | 9783540285380 | |||
10位ISBN: | 3540285385 | |||
頁數(shù): | 454 | |||
下載地址: | Logic Programming and Nonmonotonic Reasoning邏輯編程與非單調(diào)推理/會(huì)議錄PDF格式下載 | |||
|
||||
查看詳細(xì): | Logic Programming and Nonmonotonic Reasoning邏輯編程與非單調(diào)推理/會(huì)議錄 | |||