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

Доклад:

    Е. М. Юрасова — Допустимые и выводимые правила вывода в нестандартных логиках (кандидатская диссертация).

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

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