chapter 3 resolution reasoning method
第3章 归结推理方法 章 Chapter 3 Resolution reasoning method 3.1 一阶谓词逻辑基础 Basics of First Order Predicate Logic 3.1 一阶谓词逻辑基础 Basics of First Order Predicate Logic ..
基于2个网页-相关网页
chapter 3 resolution reasoning method
第三章决议推理方法
以上为机器翻译结果，长、整句建议使用 人工翻译 。