 |
| Russian | English |
| прогресс в научно-исследовательских и опытно-конструкторских разработках решателей задач выполнимости формул в теориях | advance in SMT solvers (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| прогресс в области машинного обучения | progress in ML (Alex_Odeychuk) |