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