Chinese translation for "归结反演的产生式系统"

production system for resolution refutation

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：

"归结定理证明" Chinese translation, "归结定理证明消解式定理证明" Chinese translation, "归结反演, 分解反驳" Chinese translation, "归结反演策略" Chinese translation, "归结反演策略的完整性" Chinese translation, "归结反演系统" Chinese translation, "归结起来是" Chinese translation, "归结起来是，问题是" Chinese translation, "归结起来是；其结果是" Chinese translation, "归结式" Chinese translation