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

单词	automatic theorem proving research
释义	automatic theorem proving research 《英汉医学词典》automatic theorem proving research 自动定理证明研究
随便看	Ichang Indigo Root Ichang lemon Ichang lemons ichang limestone Ichang papeda Ichang papeda, (Citrus ichangensis) Swingle i channel Ichapur i-chard i-charged i-chaste ichat Ichauli ICHC ICHCA Ichchāpuram ichd ICHDEN ichdien ich dien iche IC head I.check unit Icheme I.Chem.E.

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