 |
| |||
| ATP (сокр. от "automated theorem proving" Alex_Odeychuk); automated theorem proving (Alex_Odeychuk); automated deductio (синоним термина "automated theorem proving" Alex_Odeychuk); automated deduction (Alex_Odeychuk) | |||
| automatic theoreme-proving | |||
| theorem proving (одно из направлений исследований и разработок в области искусственного интеллекта ssn); automatic theorem proving (ssn) | |||
| автоматическое доказательство теорем: 17 phrases in 5 subjects |
| Artificial intelligence | 11 |
| Information technology | 1 |
| Mathematics | 1 |
| Programming | 2 |
| Software | 2 |