backward production system for theorem proving是什么意思、英文翻译及中文解释 本文已影响 60人 backward production system for theorem proving 词语: backward production system for theorem proving解释: 定理证明用逆向产生式系统词典: 电脑专业英汉词典