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

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

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

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

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

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

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

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