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

Google | Forvo | +

many-sorted first-order logic

ударения

многосортная логика первого порядка (Alex_Odeychuk)

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