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

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





Для просмотра файлов Вам могут потребоваться






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


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

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

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

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


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке


ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018