Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления



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

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

Д. М. Ицыксон

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

Количество просмотров:
Эта страница:89
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024