theorem proving system的意思|示意
美 / /
英 / /
定理证明系统
theorem proving system的网络常见释义
定理证明系统 ... natural deduction theorem proving 自然演绎法定理证明 theorem proving system 定理证明系统 theorem proving method 定理证明法 ...
theorem proving system相关短语
1、 Mechanized geometry theorem proving system 机械式几何证明系统
2、 production system for theorem proving 定理证明的产生式系统