博耶穆尔定理证明程序的英文

• boyermoore theorem prover

• "博"英文翻译    abundant; plentiful; rich
• "穆"英文翻译    reverent; respectful
• "尔"英文翻译    you
• "定理"英文翻译    theorem
• "证明"英文翻译    prove; testify; bear out
• "程序"英文翻译    procedure
• "定理证明程序" 英文翻译 :    theorem prover
• "定理证明" 英文翻译 :    theorem proving
• "定理证明机" 英文翻译 :    theorem proving machine
• "定理证明表示" 英文翻译 :    theorem proving representation
• "定理证明技术" 英文翻译 :    theorem proving technique
• "归结定理证明" 英文翻译 :    resolution theorem proving
• "解析定理证明" 英文翻译 :    resolution theorem-proving
• "自动定理证明" 英文翻译 :    automated theorem proving; automatic theorem proving
• "一阶定理证明器" 英文翻译 :    first-order theorem prover
• "证明程序正确性" 英文翻译 :    proving program correct
• "归结定理证明消解式定理证明" 英文翻译 :    resolution theorem proving
• "定理证明用逆向产生式系统" 英文翻译 :    backward production system for theorem proving
• "简明程序" 英文翻译 :    straightforward routine
• "公理证明" 英文翻译 :    axiomatic proof
• "穆尔定律" 英文翻译 :    mooreis law
• "阿贝尔定理" 英文翻译 :    abel theorem; abel's theorem
• "比尔定理" 英文翻译 :    beer's law
• "玻尔定理" 英文翻译 :    bohr theorem
• "康托尔定理" 英文翻译 :    cantor theorem; cantor's theorem