Показать сокращенную информацию
Временные многоагентные логики и проблема унификации
Автор | Башмаков, Степан Игоревич | |
Дата внесения | 2022-07-05T04:59:12Z | |
Дата, когда ресурс стал доступен | 2022-07-05T04:59:12Z | |
Дата публикации | 2017-11-07 | |
Библиографическое описание | Башмаков, Степан Игоревич. Временные многоагентные логики и проблема унификации [Электронный ресурс] : диссертация ... кандидата физико-математических наук / С. И. Башмаков. — Красноярск : СФУ, 2017. | |
URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/146817 | |
Язык | ru_RU | |
Издатель | Сибирский федеральный университет | |
Ссылка на другой сайт | https://research.sfu-kras.ru/node/12678 | |
Название | Временные многоагентные логики и проблема унификации | |
Тип | Thesis | |
Тип | Candidate Thesis | |
Код специальности выпускной работы | 01.01.06 | |
Учёная степень или квалификация, на которую выполнена работа | Кандидат физико-математических наук | |
Диссертационный совет | Д 212.099.25 | |
Специальность выпускной работы | 01.01.06 Математическая логика, алгебра и теория чисел |