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

单词	backward production system for theorem proving
释义	backward production system for theorem proving 定理证明用逆向产生式系统
随便看	cepstra cepstral cepstral analysis cepstral VOCODER cepstrum cepstrum analysis cepstrum method cepstrum vocoder cepsturm cept. cept 'cept cept- Ceptaz cepted 'cepting cepting ceptinuria -ception ceptionable ceptions -ceptor ceptor ceptors ceptriaxone

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