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

   Английский ⇄ Китайский +
Google | Forvo | +

automatic deduction in nonstandard logics

ИИ. 非标准逻辑中的自动演绎

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