Показать сокращенную информацию
Временная интранзитивная мульти-агентная логика; алгоритмы разрешимости, правила вывода
| Автор | Лукьянчук, Александра Николаевна | |
| Дата внесения | 2022-07-05T05:02:13Z | |
| Дата, когда ресурс стал доступен | 2022-07-05T05:02:13Z | |
| Дата публикации | 2015-06-16 | |
| Библиографическое описание | Лукьянчук, Александра Николаевна. Временная интранзитивная мульти-агентная логика; алгоритмы разрешимости, правила вывода [Электронный ресурс] : автореферат диссертации ... кандидата физико-математических наук / А. Н. Лукьянчук. — Красноярск : СФУ, 2015. | |
| URI (для ссылок/цитирований) | https://elib.sfu-kras.ru/handle/2311/147380 | |
| Язык | ru_RU | |
| Издатель | Сибирский федеральный университет | |
| Ссылка на другой сайт | https://research.sfu-kras.ru/node/11682 | |
| Название | Временная интранзитивная мульти-агентная логика; алгоритмы разрешимости, правила вывода | |
| Тип | Thesis | |
| Тип | Candidate Thesis | |
| Код специальности выпускной работы | 01.01.06 | |
| Учёная степень или квалификация, на которую выполнена работа | Кандидат физико-математических наук | |
| Диссертационный совет | Д 999.040.02 | |
| Специальность выпускной работы | 01.01.06 Математическая логика, алгебра и теория чисел |
