英语词汇“automatic theorem proving”的意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

单词	automatic theorem proving
释义	automatic theorem proving 汉语翻译【计】自动定理证明
随便看	point symmetric graph Charpy impact test asthenic fever atromentin paratrophia Suidae noise jammer rotary secondary line switch regitine methanesulfonate menses estimated costs ATP-ase board foot top level silbamine tetrabromo-m-cresolsulfon-phthalein first-item list hydroxyalkylation celiectomy occlusogingival methyl rhodin aquae nivalis lapis calaminaris rheumophthalmia frighten sb into submission

英语词典包含435040条英汉在线翻译词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

automatic theorem proving