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

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






Однодневная конференция, посвященная памяти В. А. Воеводского
28 декабря 2017 г. 16:00–16:30, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
 


Унивалентные основания и автоматическая проверка доказательств

А. Родин
Видеозаписи:
MP4 1,246.8 Mb
MP4 341.6 Mb

Количество просмотров:
Эта страница:1005
Видеофайлы:401

А. Родин
Фотогалерея


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