人工智能原理第5章消解法

- 本章内容 4.1 消解法的基本思想 4.2 Herbrand定理 4.3 消解法 4.4 消解策略 参考书目 - 第4章 消解法