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

词汇	theorem machine prove
释义	theorem machine prove 基本例句定理机器证明 The research in mechanical theorem proving has great significance in the theory and the practice.定理机器证明的研究，在理论和实践上都具有重要的意义。
随便看	zoledrolic acid relief of pain Zoledromic Acid zoledronate zoledronate disodium zoledronates zoledronate trisodium zoledronic Zoledronicacid zoledronic acid Zoledronic Acid For Injection Zoledronic acid injection Zoledronie acid Zoledronie acid for injection zolensky zolenzepine zolertine zolertine hydrochloride Zolese Zolesi zolestin zoletil zoletronic acid zolezzi Zolezzi Zolfagari