广工人工智能谓词逻辑算法作业

【文件属性】：

文件名称：广工人工智能谓词逻辑算法作业

文件大小：150KB

文件格式：DOC

更新时间：2018-02-06 14:47:05

广工 人工智能 2015 谓词逻辑演算 谓词逻辑算法

结合课本习题3.23解答，通过编制一个程序执行，归结得到结果！