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

Описание

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

Конференция: Математики - Алтайскому краю; Барнаул; Барнаул

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

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

Издание

Журнал: МАК: Математики - Алтайскому краю

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

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

Авторы

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