Показать сокращенную информацию
Временные многоагентные логики и проблема унификации.
| Научный руководитель | Рыбаков, Владимир Владимирович | |
| Автор | Башмаков, Степан Игоревич | |
| Дата внесения | 2018-10-20T04:30:42Z | |
| Дата, когда ресурс стал доступен | 2018-10-20T04:30:42Z | |
| Дата публикации | 2018 | |
| Библиографическое описание | Башмаков, Степан Игоревич. Временные многоагентные логики и проблема унификации. [Электронный ресурс] : аннотация научно-квалификационной работы (диссертации) : 01.06.01 / С. И. Башмаков. — Красноярск : СФУ, 2018. | |
| URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/74737 | |
| Язык | ru_RU | |
| Издатель | Сибирский федеральный университет | |
| Название | Временные многоагентные логики и проблема унификации. | |
| Тип | Thesis | |
| Тип | Thesis Abstract | |
| Код специальности выпускной работы | 01.06.01 | |
| Учёная степень или квалификация, на которую выполнена работа | Аспирант | |
| Место издания | Красноярск | |
| ГРНТИ | 27.03.19 | |
| Дата обновления | 2018-10-20T04:30:42Z | |
| Институт | Институт математики и фундаментальной информатики | |
| Подразделение | Кафедра алгебры и математической логики | |
| Специальность выпускной работы | 01.06.01 Математика и механика | |
| Код образовательной программы выпускной работы | 01.01.06 | |
| Образовательная программа выпускной работы | 01.01.06 Математическая логика, алгебра и теория чисел | |
| Информация о научном руководителе | доктор физико-математических наук, профессор |
