theorem proving的意思|示意

---

theorem proving相关短语

1、 automated theorem proving 自动定理证明,证明,定理机器证明,证实

2、 Automatic Theorem Proving 自动定理证明,自动定理证明英语

3、 mechanical theorem proving 机器定理证明,机器证明,机器证明英语,翻译

4、 theorem proving machine 定理证明机

5、 theorem-proving 定理证明

6、 theorem proving system 定理证明系统

7、 theorem proving method 定理证明法

8、 resolution theorem proving 归结定理证明消解式定理证明,翻译

9、 theorem proving by resolution 按分解律的定理证明