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

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

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

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

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

Издание

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

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

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

Авторы

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.