自动定理证明基础(计算机) 上传者：dhhnzgdbc 2018-12-11 05:05:10上传 PDF文件 3MB 热度 49次 计算机的自动定理证明, 命题逻辑与一阶逻辑谓词介绍, SLD归约介绍,many-sorted一阶谓词逻辑等 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2018-12-11 05:05:10 这样的书已经很少了，如果是中文的就更好了 发表评论
这样的书已经很少了，如果是中文的就更好了