计算逻辑.逻辑程序设计及其它 第2卷Computational logic Antonis C. Kakas 1 edition (2002年8月1日) 出版时间:2002-12出版社:1 edition (2002年8月1日)作者:Antonis C. Kakas页数:628 图书封面 下载链接 计算逻辑.逻辑程序设计及其它 第2卷Computational logicPDF格式下载