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