Целью службы является создание условий для увеличения количества и повышения качества публикаций научно-педагогических работников СФУ.
Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Математика; Новосибирск; Новосибирск
Год издания: 2026
Ключевые слова: многоагентная логика, модели Крипке, Деревья вычислений
Журнал: Математика
Номера страниц: 49
Место издания: Новосибирск