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