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

Тема: Временные многоагентные логики и проблема унификации
Диссертационный совет:Д 212.099.25
На степень:кандидата физико-математических наук
Специальность:01.01.06 Математическая логика, алгебра и теория чисел
Отрасль науки:физико-математическая

Документы

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