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

    Юбилей Михаила Ивановича Голованова.

Доклад:

    А. В. Чагров (Тверь) — Алгоритмические проблемы в пропозициональных логиках.

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

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