automated theorem proving
| system
| automated theorem proving | |
| AI. | автоматическое доказательство теорем |
| Systems | |
| fin. | Системы |
| system | |
| law | строй |
| Makarov. | структура; комплекс; конструкция; конфигурация; оборудование; подход |
| |||
| автоматическое доказательство теорем (Alex_Odeychuk) | |||
|
automated theorem proving : 3 phrases in 1 subject |
| Artificial intelligence | 3 |