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

Доклады:

    Петров Кирилл Александрович, Рыбаков Владимир Владимирович — Разрешимость бимодальной темпоральной логики кластеров: метод локальной фильтрации и стабилизации.
    Дата: 05.03.26.

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

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