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