Російська ⇄ Англійська

решение задач выполнимости в теориях наголоси
шт.інтел.	satisfiability modulo theories solving (Microsoft Alex_Odeychuk)

решение задач выполнимости в теориях: 3 фрази в 1 тематиці

Штучний інтелект

3