Унификация в многомодальной логике LTK

Описание

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: 54-я Международная научная студенческая конференция МНСК-2016; Новосибирск; Новосибирск

Год издания: 2016

Ссылки на полный текст

Издание

Журнал: Материалы 54-й Международной научной студенческой конференции МНСК-2016

Номера страниц: 6-6

Издатель: Новосибирский национальный исследовательский государственный университет

Авторы

Вхождение в базы данных