Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
youdao
应用推荐
模块上移
模块下移
不移动