 |
| |||
| automatic theoreme-proving | |||
| ATP (сокр. от "automated theorem proving" Alex_Odeychuk); automated theorem proving (Alex_Odeychuk); automated deductio (синоним термина "automated theorem proving" Alex_Odeychuk); automated deduction (Alex_Odeychuk) | |||
| theorem proving (одно из направлений исследований и разработок в области искусственного интеллекта ssn); automatic theorem proving (ssn) | |||
| автоматическое доказательство теорем: 17 צירופים, 5 נושאים |
| בינה מלאכותית | 11 |
| טכנולוגית מידע | 1 |
| מָתֵימָטִיקָה | 1 |
| תִכנוּת | 2 |
| תוֹכנָה | 2 |