theorem prover的意思|示意

---

theorem prover相关短语

1、 automatic theorem prover 定理证明器,自动化定理证明引擎

2、 automated theorem prover 自动定理证明器

3、 interactive theorem prover 交互式定理证明器

4、 first-order theorem prover 一阶定理证明器