production system for theorem proving的意思|示意
美 / /
英 / /
定理证明生产系统
production system for theorem proving的网络常见释义
定理证明的产生式系统 ...uction system for resolution refutation 归结反演的产生式系统 production system for theorem proving 定理证明的产生式系统 production system 产生式系统 ..