Английский ⇄ Русский +

SMT problem ударения
ИИ.	задача выполнимости формул в теориях (сокр. от "satisfiability modulo theories problem" Alex_Odeychuk)

SMT problems : 3 фразы в 1 тематике

Искусственный интеллект

3