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

单词	backward production system for theorem proving
释义	backward production system for theorem proving 定理证明用逆向产生式系统
随便看	disobliteration disobservant disobstetricate disobstruct disobutamide Disocactus disocap Disocarban disocarbun disoccident disocclude disoccluded disoccludes disoccluding disocclusaion disocclusion disocclusions disoccupation disoccupy d-isocorydine d-Isocorydine chloride d Isocorydine chloride d-Isocorydine Hydrochloridi d Isocorydine Hydrochloridi DISOD.

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