 |
| |||
| доказатель теорем (Microsoft Alex_Odeychuk); система доказательства теорем (Microsoft Alex_Odeychuk); доказыватель теорем (Alex_Odeychuk); системой автоматического доказательства теорем (Alex_Odeychuk) | |||
| инструмент доказательства теорем (wikipedia.org Alex_Odeychuk) | |||
| утилита автоматического доказательства теорем (Alex_Odeychuk) | |||
| инструмент автоматического доказательства теорем (Alex_Odeychuk) | |||
| программа для доказательства теорем (с использованием аксиоматической базы данных) | |||
|
theorem prover : 13 фраз в 5 тематиках |
| Информационные технологии | 1 |
| Искусственный интеллект | 9 |
| Макаров | 1 |
| Программирование | 1 |
| Программное обеспечение | 1 |