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

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



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

The mechanization of mathematics

Jeremy Avigad
Видеозаписи:
MP4 568.9 Mb
MP4 2,502.3 Mb
Дополнительные материалы:
Adobe PDF 1.2 Mb
Adobe PDF 94.1 Kb

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

Jeremy Avigad




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

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