归结定理的英文

• resolution theorem

• "归结"英文翻译    sum up; put in a nutshell
• "定理"英文翻译    theorem
• "归结定理证明" 英文翻译 :    resolution theorem proving
• "归结定理证明消解式定理证明" 英文翻译 :    resolution theorem proving
• "强终结定理" 英文翻译 :    strong terminating theorem
• "归结" 英文翻译 :    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.[力学] resolution; 归结式 resolvents
• "未结定单" 英文翻译 :    open order
• "终结定界符" 英文翻译 :    ending delimiter
• "归结式" 英文翻译 :    resolvents
• "归结为" 英文翻译 :    boil down to; come down to; result
• "归结于" 英文翻译 :    attribute to; resolve into; to explain by indicating a cause
• "定理" 英文翻译 :    (已经证明正确,可以作为原则或规律的命题或公式) theorem 基本定理 fundamental theorem; 几何定理 geometrical theorems; 定理验证[明] theorem proving
• "熬浓，简化，归结为" 英文翻译 :    boil down
• "递归结构" 英文翻译 :    recursive structure
• "凡人归结" 英文翻译 :    clayton emery netheril mortal consequences
• "广义归结" 英文翻译 :    generalized resolution
• "广义锁归结" 英文翻译 :    generalized lock resolution
• "归结起来是" 英文翻译 :    boil down to
• "归结为四类" 英文翻译 :    fall into four categories
• "归结原理" 英文翻译 :    resolution (logic)
• "归结主体" 英文翻译 :    resolution agent
• "归结子句" 英文翻译 :    apodosis
• "锁分解, 锁归结" 英文翻译 :    lock resolution
• "一阶归结" 英文翻译 :    resolution
• "意味着，归结为" 英文翻译 :    boil down to