English translation for "归结定理证明"

resolution theorem proving

Related Translations:

归结:  1.(总括而求得结论) sum up; put in a nutshell 短语和例子问题虽然很复杂, 归结起来不外三个方面。 the questions, though very complicated, may be summed up as coming under three categories.2.(结局) end (of a story, etc.)3.[力学

凡人归结:  clayton emery netheril mortal consequences

归结式:  resolvents

广义归结:  generalized resolution

归结定理:  resolution theorem

归结于:  attribute toresolve intoto explain by indicating a cause

归结原理:  resolution (logic)

归结子句:  apodosis

归结为:  boil down tocome down toresult

归结主体:  resolution agent

Similar Words：

"归家路遥" English translation, "归降" English translation, "归降人" English translation, "归结" English translation, "归结定理" English translation, "归结定理证明消解式定理证明" English translation, "归结反演, 分解反驳" English translation, "归结反演策略" English translation, "归结反演策略的完整性" English translation, "归结反演的产生式系统" English translation