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

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



Logical Perspectives 2021: Summer School and Workshop
19 июня 2021 г. 15:30–16:00, Logical Perspectives 2021 Workshop, г. Москва, online 		 

Ideas of metagraph-based types

Yu. E. Gapanyuk, A. N. Nardid, D. A. Zuev
Видеозаписи:
MP4 189.7 Mb
Дополнительные материалы:
Adobe PDF 4.7 Mb
Adobe PDF 1.3 Mb

Количество просмотров:
Эта страница:113
Видеофайлы:11
Материалы:24




Дополнительные материалы: workshop_gapanyuk_nardid_zuev.pdf (4.7 Mb) , workshop_gapanyuk_nardid_zuev_slides.pdf (1.3 Mb)

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