Лукьянчук, Александра Николаевна. Временная интранзитивная мульти-агентная логика; алгоритмы разрешимости, правила вывода [Электронный ресурс] : автореферат диссертации ... кандидата физико-математических наук / А. Н. Лукьянчук. — Красноярск : СФУ, 2015.
Специальность выпускной работы:
01.01.06 Математическая логика, алгебра и теория чисел
Учёная степень или квалификация, на которую выполнена работа: