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

单词	backward production system for theorem proving
释义	backward production system for theorem proving 定理证明用逆向产生式系统
随便看	Sjuφyane SjvO2 sjw SJWs Sjælland Sjællands Odde Sjónfridh Sjöbo Sjögestad Sjögren Glacier Sjötofta Sjötorp Sjövik Sjφholt Sjφrring Sjφrslev Sjφrup Sjφvegan s-k s.k .sk sk sk. sk- SK-27702

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