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

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



Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
21 сентября 2023 г. 16:00–17:30, г. Москва, МИАН, ауд. 110 + online 		 

Lecture 2. Bounded Arithmetic and Proof Complexity

A. Das

University of Birmingham
Видеозаписи:
MP4 3,488.5 Mb

Количество просмотров:
Эта страница:101
Видеофайлы:23




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