Заседание №148 (10 января 2026 г.)

Время: 
15:30
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

    Брылякова Е.В. - "Паранепротиворечивые логики и полные наборы унификаторов"

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

  • Брылякова Е.В.
  • Поляков А.А.
  • Башмаков С.И.
  • Смелых К.А.
  • Зверева Т.Ю.
  • Бушакова Ю.А.
Башмаков С. И.

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

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