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

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






Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
24 декабря 2018 г. 16:20–16:55, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
 


Резолюционные доказательства и монотонные вычисления

Д. О. Соколов

Санкт-Петербургское отделение Математического института им. В. А. Стеклова Российской академии наук
Видеозаписи:
MP4 907.8 Mb
MP4 412.2 Mb

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

Д. О. Соколов
Фотогалерея


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


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