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

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



Logical Perspectives 2018
17 мая 2018 г. 10:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10 		 

On the computational content of theorems

Vasco Brattka
Видеозаписи:
MP4 2,343.2 Mb
MP4 532.9 Mb
Дополнительные материалы:
Adobe PDF 94.1 Kb
Adobe PDF 1.2 Mb

Количество просмотров:
Эта страница:151
Видеофайлы:29
Материалы:39

Vasco Brattka




Дополнительные материалы: abstract.pdf (94.1 Kb) , presentation.pdf (1.2 Mb)

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