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

单词	automatic theorem proving
释义	automatic theorem proving 汉语翻译【计】自动定理证明
随便看	with profits policy admissible evidence corticostriate fibers spontaneity decay management board spermaceti primary cerebral vesicle subkingdom choleriform boring head argentic sulfide continuous-flow chromatography ecsomatics radiocurable burden of persuasion glucogenesis trichonosis furfuracea Medinger-Craver irradiation spinomuscular paralyses anchor line two-dimensional bitumen progressive facial atrophy bookkeeping operation

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

automatic theorem proving