公理证明规则的英文

• axiomatic proof rule

• "公理"英文翻译    generally acknowledged truth ...
• "证明"英文翻译    prove; testify; bear out
• "规则"英文翻译    rule; regulation; ordination ...
• "公理证明" 英文翻译 :    axiomatic proof
• "定理证明" 英文翻译 :    theorem proving
• "定理证明机" 英文翻译 :    theorem proving machine
• "代理证明机构" 英文翻译 :    agency ca
• "定理证明表示" 英文翻译 :    theorem proving representation
• "定理证明程序" 英文翻译 :    theorem prover
• "定理证明技术" 英文翻译 :    theorem proving technique
• "归结定理证明" 英文翻译 :    resolution theorem proving
• "解析定理证明" 英文翻译 :    resolution theorem-proving
• "自动定理证明" 英文翻译 :    automated theorem proving; automatic theorem proving
• "外出经营管理证明" 英文翻译 :    the certificate for outward business administration
• "一阶定理证明器" 英文翻译 :    first-order theorem prover
• "遗产管理证明书" 英文翻译 :    letter of administration
• "归结定理证明消解式定理证明" 英文翻译 :    resolution theorem proving
• "博耶穆尔定理证明程序" 英文翻译 :    boyermoore theorem prover
• "定理证明用逆向产生式系统" 英文翻译 :    backward production system for theorem proving
• "一般商品和机电产品进口管理证明格式" 英文翻译 :    import management certificate form for general goods and mechanical & electronic products
• "公理" 英文翻译 :    1.(社会公认的正确道理) generally acknowledged truth; self-evident truth 公理和强权 right and might2.[数学] (无需再加证明的命题) axiom; postulate
• "订明规定" 英文翻译 :    prescribed requirement
• "订明规格" 英文翻译 :    make the specification
• "代理证券" 英文翻译 :    agency security
• "代理证书" 英文翻译 :    letter of representation; power of attorney