Башмаков, Степан Игоревич. Временные многоагентные логики и проблема унификации. [Электронный ресурс] : аннотация научно-квалификационной работы (диссертации) : 01.06.01 / С. И. Башмаков. — Красноярск : СФУ, 2018.
Специальность выпускной работы:
01.06.01 Математика и механика
Образовательная программа выпускной работы:
01.01.06 Математическая логика, алгебра и теория чисел
Учёная степень или квалификация, на которую выполнена работа:
