 |
| |||
| доказатель теорем (Microsoft Alex_Odeychuk); система доказательства теорем (Microsoft Alex_Odeychuk); доказыватель теорем (Alex_Odeychuk); системой автоматического доказательства теорем (Alex_Odeychuk) | |||
| инструмент доказательства теорем (wikipedia.org Alex_Odeychuk) | |||
| утилита автоматического доказательства теорем (Alex_Odeychuk) | |||
| программа для доказательства теорем (с использованием аксиоматической базы данных) | |||
| инструмент автоматического доказательства теорем (Alex_Odeychuk) | |||
|
theorem prover : 13 短语, 5 学科 |
| 人工智能 | 9 |
| 信息技术 | 1 |
| 编程 | 1 |
| 软件 | 1 |
| 马卡罗夫 | 1 |