Заседание №47 (3 декабря 2020 г.)

Время:

16:00

Место:

пр. Свободный, 79, ауд. 34-17

Доклад:

Т.Ю. Зверева - Общезначимость формул в многоагентной логике нерефлексивного нетранзитивного линейного знания LTK_{sl_U}.

Участники семинара:

Башмаков С.И.
Донец Е.А.

Башмаков С. И.

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

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