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

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



Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
26 октября 2022 г. 09:00–10:00, Novosibirsk and Kazan 		 

Kleene star in substructural logics

Stepan Kuznetsov

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Видеозаписи:
MP4 214.2 Mb
Дополнительные материалы:
Adobe PDF 36.4 Kb
Adobe PDF 305.6 Kb

Количество просмотров:
Эта страница:116
Видеофайлы:13
Материалы:22




Дополнительные материалы: Kuznetsov_Abstract.pdf (36.4 Kb) , Kuznetsov_Slides.pdf (305.6 Kb)

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