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

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

формула задачи выполнимости в теориях: 26 צירופים, 2 נושאים

בינה מלאכותית	24
תִכנוּת	2