Временная интранзитивная мульти-агентная логика; алгоритмы разрешимости, правила вывода : автореферат дис. ... кандидата физико-математических наук | Научно-инновационный портал СФУ

Временная интранзитивная мульти-агентная логика; алгоритмы разрешимости, правила вывода : автореферат дис. ... кандидата физико-математических наук

Тип публикации: диссертация

Год издания: 2015

Ключевые слова: Математическая логика, алгебра и теория чисел

Ссылки на полный текст

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Версия для слабовидящих

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