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

单词	Theory machine proving
释义	Theory machine proving 基本例句定理机器证明 The research in mechanical theorem proving has great significance in the theory and the practice.定理机器证明的研究，在理论和实践上都具有重要的意义。
随便看	start-up initial stage start-up instrumentation startup items startup jobstream startup job stream startup latency start-up light oil burner start-up light oil pump start-up line Start-up llfe start-up loan start -up loan start-up loop start-up loss start-up man start-up mark startup mechanism startup menu startup method start-up method startup methods startup mode start-up mode startup model startup modification