СловариФорумКупитьСкачатьКонтакты

   Английский Русский
Google | Forvo | +
satisfiability modulo theories solvingударения
ИИ. решение задач выполнимости в теориях (Microsoft Alex_Odeychuk)