... 归结定理证明 resolution theorem proving 解析定理证明 resolution theorem-proving 自动定理证明 automated theorem proving; automatic theorem proving ...
基于1个网页-相关网页
resolution theorem proving 归结定理证明消解式定理证明
theorem proving by resolution 按分解律的定理证明
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.
归结原理是定理机器证明中的一种基本技术。
应用推荐
模块上移
模块下移
不移动