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

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