Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада

Описание

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

Конференция: Мальцевские чтения

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

Издание

Журнал: Мальцевские чтения

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

Место издания: Новосибирск

Авторы