当代形式逻辑及其在人工智能中的应用理论研究 龚启荣 电子工业 出版时间：2011-1出版社：电子工业作者：龚启荣页数：435 图书封面 下载链接 当代形式逻辑及其在人工智能中的应用理论研究PDF格式下载
