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

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



Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
26 августа 2010 г. 10:45, г. Москва 		 

Expressive completeness

Martin Otto
Видеозаписи:
Windows Media 428.2 Mb

Martin Otto




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