681-е заседание

Доклады:

    ЛУКЬЯНЧУК Александра Николаевна — Разрешимость по допустимости логики знания и времени $LTK_r$ с интранзитивным отношением времени.
    ПАНОВ Сергей Валерьевич — Вопросы структурного описания конечных квазиполей и построения плоскостей трансляций.

© 2023 Институт математики
и фундаментальной информатики СФУ

+7 (391) 206-21-48    math@sfu-kras.ru    VK   Telegram