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

单词	automatic theorem proving
释义	automatic theorem proving 汉语翻译【计】自动定理证明
随便看	envelope delay distontion viomycin bindery emulation entero-epiplocele needle bearing omental band Finsen treatment Le Seur cell venn diagrams outsize parthenospore Lame formula coil-in-box coller morsus humanus primary control program vitium conformationis intolerably popliteal bursae processing interrupt anodic depolarizer falcular intercoronoideal lower cloud point add legend ethylidene lactic acid

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

automatic theorem proving