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

单词	mechanical theorem proving
释义	mechanical theorem proving 机器证明
随便看	Fuchsia excorticata fuchsia excorticatas fuchsia hybrida Fuchsia hybrida fuchsia hybrida voss Fuchsia latent carlavirus Fuchsian fuchsian function fuchsian group Fuchsian groups Fuchsian type equation paralinearization fuchsin fuchsin a fuchsin acetate Fuchsin acid fuchsin agar Fuchsin Aicd fuchsinaldehyde reagent fuchsin aldehyde reagent fuchsin-aldehyde reagent fuchsin,amido black,and naphthol yellow fuchsin, amido black, and naphthol yellow fuchsinbasic fuchsias fuchsia test