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

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

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

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

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

Издание

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

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

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

Авторы

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

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

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