Вход | Russian | Соглашение пользователя
СловариФорумКупитьСкачатьКонтакты

   Английский ⇄ Русский +
Google | Forvo | +

boolean satisfiability problem

ударения
ИИ. задача выполнимости булевых формул (Alex_Odeychuk)
лог. задача булевой выполнимости (Alex_Odeychuk)
прогр. задача логической выполнимости (ssn)

Добавить | Сообщить об ошибке | Короткая ссылка