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

词汇	theorem machine prove
释义	theorem machine prove 基本例句定理机器证明 The research in mechanical theorem proving has great significance in the theory and the practice.定理机器证明的研究，在理论和实践上都具有重要的意义。
随便看	general purpose data management system general-purpose data monagement system general purpose data processor general-purpose data register general-purpose design method general-purpose design technique general-purpose destroyer general purpose detergent general purpose development environment general-purpose development platform general-purpose device general purpose device controller general purpose diagnostic program general-purpose digital computer general purpose digital computergpdc general purpose digital data computer general purpose digital goniometer general-purpose diode general purpose discipline generalpurpose discrete simulation General Purpose Display System general-purpose display system general purpose dosimeter general purpose drawbar trailer General-Purpose Electronic Test Equipment