 |
| English | Russian |
| automated means of evaluation | автоматические средства оценивания (напр., качества перевода Alex_Odeychuk) |
| means-ends analysis | анализ целей и средств (may calculate the difference between each available option and the goal state Alex_Odeychuk) |
| objective means of comparing SMT solvers | объективное средство сопоставления производительности различных решателей задач выполнимости формул в теориях (контекстуальный перевод на русс. язык Alex_Odeychuk) |