Вопрос унификации и базис пассивных правил в многомодальной логике LTK

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

Конференция: Ломоносов-2016; Москва; Москва

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

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

Издание

Журнал: ЛОМОНОСОВ - 2016

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

Издатель: ООО "МАКС Пресс"

Авторы

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

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

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