第三章人工智能蔡自兴

- 第三章 归结推理方法 - 概述命题逻辑的归结法谓词归结子句形归结原理归结过程的策略控制Herbrand定理 - <#> -