Вход | Russian | Соглашение пользователя

Google | Forvo | +

automatic theorem prover for satisfiability modulo theories problems

ударения

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

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