英语词汇“backward production system for theorem proving”的翻译、意思、用法、释义-英汉汉英双解词典

词汇	backward production system for theorem proving
释义	backward production system for theorem proving 定理证明用逆向产生式系统
随便看	intellectual multi-gauging computer intellectual nature intellectualness intellectual network intellectual network phones intellectual nourishment intellectually intellectually adult intellectually backward intellectually challenged intellectually challenging/gifted intellectually demanding intellectually gifted intellectually moral education Intellectually weak or obtuse Intellectually weak or obtuse;stupid Intellectually weak or obtuse; stupid intellectual magic square intellectual maldevelopment intellectual management intellectual management ability intellectual mansion intellectual nourishments intellectual observing intellectual occupation