 |
| |||
| программа для доказательства теорем (с использованием аксиоматической базы данных) | |||
| инструмент автоматического доказательства теорем (Alex_Odeychuk) | |||
| доказатель теорем (Microsoft Alex_Odeychuk); система доказательства теорем (Microsoft Alex_Odeychuk); доказыватель теорем (Alex_Odeychuk); системой автоматического доказательства теорем (Alex_Odeychuk) | |||
| theorem prover: 14 do fraz, 5 tematyki |
| Makarowa | 1 |
| Oprogramowanie | 1 |
| Programowanie | 1 |
| Sztuczna inteligencja | 10 |
| Technologia informacyjna | 1 |