>
backward production system for theorem proving
词语: backward production system for theorem proving
解释: 定理证明用逆向产生式系统
词典: 电脑专业英汉词典