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