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

单词	automatic theorem proving research
释义	automatic theorem proving research 《英汉医学词典》automatic theorem proving research 自动定理证明研究
随便看	Burayqah Buray R. Buraysh burb 'burb burba burbach Burbage Burbage, Richard burbages Burbaguena Burbank burbankite Burbank, Luther burbanks bur-bark bur beater bur beggartick Bur Beggarticks Herb bur beggarticksherba bur beggarticks root Burberries Burberry burberry.com burberry prorsum

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