 |
| Subject | Russian | English |
| AI. | методология автоматического доказательства теорем | theorem proving methodology (автоматическое доказательство теорем – одно из направлений исследований и разработок в области искусственного интеллекта Alex_Odeychuk) |
| progr. | методология доказательства | proof methodology (напр., для формальной проверки (оценки) работоспособности параллельных программ ssn) |