英语词汇“theorem machine prove”的翻译、意思、用法、释义-英汉汉英双解词典

词汇	theorem machine prove
释义	theorem machine prove 基本例句定理机器证明 The research in mechanical theorem proving has great significance in the theory and the practice.定理机器证明的研究，在理论和实践上都具有重要的意义。
随便看	协心勠力协心同力协心戮力协态预估法协恭协情协意协拍协捕协揆协方差协方差估值协方差关系协方差函数协比协气协治协泰协洽协济协热下利协热利协热自利协爱协理