| |||
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 |