广义归结的英文

• generalized resolution

• "广义"英文翻译    broad sense; generalization
• "归结"英文翻译    sum up; put in a nutshell
• "广义语义归结" 英文翻译 :    generalized semantic resolution
• "广义归纳法" 英文翻译 :    generalized induction
• "广义锁归结" 英文翻译 :    generalized lock resolution
• "广义线性归结" 英文翻译 :    generalized linear resolution
• "归结" 英文翻译 :    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
• "广义" 英文翻译 :    1.(范围较宽的定义) broad [wide] sense; generalization 广义地说 in a broad sense; broadly speaking; 使用这个词的广义 use the word in a wide sense; 从广义上说, 文明的高低是由人们彼此相处和共同工作的好坏来衡量的。 in a broad sense, civilization is measured by how well people can get along with each other and work together.2.[物理学] generalized
• "归结式" 英文翻译 :    resolvents
• "归结为" 英文翻译 :    boil down to; come down to; result
• "归结于" 英文翻译 :    attribute to; resolve into; to explain by indicating a cause
• "熬浓，简化，归结为" 英文翻译 :    boil down
• "递归结构" 英文翻译 :    recursive structure
• "凡人归结" 英文翻译 :    clayton emery netheril mortal consequences
• "归结定理" 英文翻译 :    resolution theorem
• "归结起来是" 英文翻译 :    boil down to
• "归结为四类" 英文翻译 :    fall into four categories
• "归结原理" 英文翻译 :    resolution (logic)
• "归结主体" 英文翻译 :    resolution agent
• "归结子句" 英文翻译 :    apodosis
• "锁分解, 锁归结" 英文翻译 :    lock resolution
• "一阶归结" 英文翻译 :    resolution
• "意味着，归结为" 英文翻译 :    boil down to
• "归结定理证明" 英文翻译 :    resolution theorem proving
• "归结反演策略" 英文翻译 :    resolution refutation strategy

• Together we prove that generalized paramodulation is generalized complete when used with generalized resolution for e - unsatisfied clause set
  接着给出广义调解的有效性证明，然后证明广义调解和广义归结的联合使用对e -恒假的子句集是广义完备的。