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