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

词汇	theorem machine prove
释义	theorem machine prove 基本例句定理机器证明 The research in mechanical theorem proving has great significance in the theory and the practice.定理机器证明的研究，在理论和实践上都具有重要的意义。
随便看	Distributed computing distributed-computing distributed computing environment distributed computing environ-ment distributed computing environment daemon distributed computing environment, DCE distributed computing fabric distributed computing in bioinformatics distributed computing model distributed computing model jini distributed computing module distributed-computing network distributed computing operating system distributed computing paradigm distributed computing platform Distributed computing set distributed computing spectrum distributed computing system Distributed computing systems distributed computing technology distributed concentrator distributed concurrency control distributed concurrency control algorithm distributed-condition of temperature distributed conduit