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

- 人工智能原理第4章 消解法 - 1 - 本章内容 4.1 消解法的基本思想 4.2 Herbrand定理 4.3