相关推荐：

• 消解(归结)原理
• 基于归结原理的自动推理及其应用
• 数学分析中的归结原理及其应用
• 数理逻辑-归结法原理
• 消解(归结)原理讲解
• 应用归结原理例讲课教学文案
• 应用归结原理例
• 应用归结原理例-2014
• 人工智能自动推理(第3部分 归结原理及其应用)
• 数理逻辑归结法原理