Theorem prover
Theorem prover may refer to:
- Automated theorem prover
- Proof assistant, an interactive theorem prover
| 单词 | Theorem prover |
| 释义 |
Theorem prover
英语百科
Theorem proverTheorem prover may refer to:
|
| 随便看 |
|
英汉双解词典包含3607232条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。