数学基础与基本概念
Mathematical foundations and basic concepts
以上为机器翻译结果，长、整句建议使用 人工翻译 。
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
youdao
应用推荐
模块上移
模块下移
不移动