Mobile
Log In Sign Up
Home > english-chinese > "归结反演的产生式系统" in Chinese

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