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

Описание

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

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

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

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

Издание

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

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

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

Авторы

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