RUS  ENG
Полная версия
ВИДЕОТЕКА

День математика и механика. VIII Интернет-видеоконференция — Слово молодым
17 сентября 2018 г., Екатеринбург-Новосибирск-С.Петербург-Москва


Сложность пропозициональных доказательств: краткая история, новые результаты и открытые вопросы

Д. М. Ицыксон

Санкт-Петербургское отделение Математического института им. В. А. Стеклова Российской академии наук


© МИАН, 2024