定理证明的英文

• theorem proving

• "定理"英文翻译    theorem
• "证明"英文翻译    prove; testify; bear out
• "定理证明机" 英文翻译 :    theorem proving machine
• "定理证明表示" 英文翻译 :    theorem proving representation
• "定理证明程序" 英文翻译 :    theorem prover
• "定理证明技术" 英文翻译 :    theorem proving technique
• "归结定理证明" 英文翻译 :    resolution theorem proving
• "解析定理证明" 英文翻译 :    resolution theorem-proving
• "自动定理证明" 英文翻译 :    automated theorem proving; automatic theorem proving
• "一阶定理证明器" 英文翻译 :    first-order theorem prover
• "归结定理证明消解式定理证明" 英文翻译 :    resolution theorem proving
• "博耶穆尔定理证明程序" 英文翻译 :    boyermoore theorem prover
• "定理证明用逆向产生式系统" 英文翻译 :    backward production system for theorem proving
• "公理证明" 英文翻译 :    axiomatic proof
• "代理证明机构" 英文翻译 :    agency ca
• "公理证明规则" 英文翻译 :    axiomatic proof rule
• "外出经营管理证明" 英文翻译 :    the certificate for outward business administration
• "遗产管理证明书" 英文翻译 :    letter of administration
• "定理机器证明" 英文翻译 :    theorem machine prove
• "证明费马最后定理" 英文翻译 :    proving fermat’s last theorem
• "一般商品和机电产品进口管理证明格式" 英文翻译 :    import management certificate form for general goods and mechanical & electronic products
• "被证明最多次的定理" 英文翻译 :    a theorem most proved
• "中值定理的一个新证明" 英文翻译 :    a new method of proving lagrange value theorem
• "定理" 英文翻译 :    (已经证明正确,可以作为原则或规律的命题或公式) theorem 基本定理 fundamental theorem; 几何定理 geometrical theorems; 定理验证[明] theorem proving
• "证明香农定理的计算相似性" 英文翻译 :    proving a computational analog of the shannon channel capacity theorem

• A note on prouing of lagrange ' s mid - value theorem
  关于拉格朗日中值定理证明的注记
• Catagenesis condition for approximate theorem - proving
  近似定理证明中的退化条件
• Some new proofs of the lagrange mean value theorem
  中值定理证明方法的讨论
• Solving the helen theorem with the cosine theorem
  用余弦定理证明海伦公式
• Proving a class of problems by rolle ' theorem
  罗尔定理证明一类存在性问题
• Uniqueness of limit cycle for qudratic system of type
  类二次系统极限环的惟一性定理证明的改进
• To prove differential mean value theorem
  浅谈微分中值定理证明
• The application of complex function in algebraic basic theory proof
  复函数在代数基本定理证明中的应用
• The theoretical proofs about the above properties have also been given
  并且给出了上述特性的定理证明。
• Application of complex functions for proving fundamental theorem in algebra
  复函数在代数基本定理证明中的应用