Диссертация соискателя: Башмаков Степан Игоревич

Тема: Временные многоагентные логики и проблема унификации
Диссертационный совет:Д 212.099.25
На степень:кандидата физико-математических наук
Специальность:01.01.06 Математическая логика, алгебра и теория чисел
Отрасль науки:физико-математическая
Дата защиты:02 марта 2018 года в 16.00 часов
Адрес проведения защиты:660041, г. Красноярск, пр. Свободный, 79, ауд. 31-09

Документы

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.