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