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

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

SMT problem : 2 фрази в 1 тематиці

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

2