... resolution error 分辨误差 resolution theorem proving 归结定理证明消解式定理证明 resolver 解算装置 ...
基于10个网页-相关网页
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.
归结原理是定理机器证明中的一种基本技术。
应用推荐
模块上移
模块下移
不移动