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