自动定理证明的英文

• automated theorem proving
• automatic theorem proving

• "自动"英文翻译    voluntarily; of one's own ac ...
• "定理"英文翻译    theorem
• "证明"英文翻译    prove; testify; bear out
• "定理证明" 英文翻译 :    theorem proving
• "定理证明机" 英文翻译 :    theorem proving machine
• "定理证明表示" 英文翻译 :    theorem proving representation
• "定理证明程序" 英文翻译 :    theorem prover
• "定理证明技术" 英文翻译 :    theorem proving technique
• "归结定理证明" 英文翻译 :    resolution theorem proving
• "解析定理证明" 英文翻译 :    resolution 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
• "扰动定理" 英文翻译 :    fluctuation theorem
• "摄动定理" 英文翻译 :    perturbation theorem
• "振动定理" 英文翻译 :    oscillation theorem
• "外出经营管理证明" 英文翻译 :    the certificate for outward business administration
• "遗产管理证明书" 英文翻译 :    letter of administration
• "结点转动定理" 英文翻译 :    theorem of joint rotation
• "自动定边" 英文翻译 :    automatic sense
• "自动定标器" 英文翻译 :    automatic scaler

• A member of the herbrand base is called atom in automatic theorem proving
  在自动定理证明中,海尔勃朗基的成员也称为原子。