resolution theorem proving 归结定理证明消解式定理证明
fuzzy resolution theorem 模糊分解定理
resolution theorem-proving 解析定理证明
Union fuzzy resolution theorem 并
Union ordinary resolution theorem 并
Both-branch fuzzy-ordinary u-nion-resolution theorem 双枝模糊
theorem proving by resolution 按分解律的定理证明
Based on resolution of interval Numbers and fuzzy resolution theorem, we develop a method of solving the structural fuzzy finite element equilibrium equations.
利用区间数的分解和模糊分解定理，研究了一种结构模糊有限元平衡方程的求解方法。
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.
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
应用推荐