Лекция 7. Алгебраические и полуалгебраические системы доказательств | Курс: Теория сложности доказательств | Лектор: Эдуард Гирш | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: [ Ссылка ]
Подписывайтесь на канал: [ Ссылка ]
Следите за новостями:
[ Ссылка ]
[ Ссылка ]
Ещё видео!