-
Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
youdao
-
The resolution principle is known to be a basic tool for theorem proving.
归结原理是定理机器证明中的一种基本技术。
youdao
-
The resolution principle is known to be a basic tool for theorem proving.
归结原理是定理机器证明中的一种基本技术。
youdao