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

Google | Forvo | +

SMT-COMP

ударения

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

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