 |
| English | Russian |
| artificial intelligence methodology | методология искусственного интеллекта (научная дисциплина изучает теоретические основы искусственного интеллекта Alex_Odeychuk) |
| theorem proving methodology | методология автоматического доказательства теорем (автоматическое доказательство теорем – одно из направлений исследований и разработок в области искусственного интеллекта Alex_Odeychuk) |