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

词汇	Theory machine proving
释义	Theory machine proving 基本例句定理机器证明 The research in mechanical theorem proving has great significance in the theory and the practice.定理机器证明的研究，在理论和实践上都具有重要的意义。
随便看	胡克变形胡克固体胡克定律胡克家胡克尔胡克尔马胡兒胡公头胡公頭胡写胡军胡凯胡则胡判胡利胡化胡匪胡博詞胡博词胡卢胡卢大笑胡卢巴胡卢巴子胡卢巴甙胡卢巴碱