אנגלית ⇄ רוסית +

SMT problem מתח
.בינה	задача выполнимости формул в теориях (сокр. от "satisfiability modulo theories problem" Alex_Odeychuk)

SMT problems : 3 צירופים, 1 נושאים

בינה מלאכותית

3