| |||
| доказатель теорем (Microsoft Alex_Odeychuk); система доказательства теорем (Microsoft Alex_Odeychuk); доказыватель теорем (Alex_Odeychuk); системой автоматического доказательства теорем (Alex_Odeychuk) | |||
| программа для доказательства теорем (с использованием аксиоматической базы данных) | |||
| утилита автоматического доказательства теорем (Alex_Odeychuk) | |||
| инструмент автоматического доказательства теорем (Alex_Odeychuk) | |||
|
theorem prover : 13 phrases in 5 subjects |
| Artificial intelligence | 9 |
| Information technology | 1 |
| Makarov | 1 |
| Programming | 1 |
| Software | 1 |