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

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






Logical Perspectives 2021: Summer School and Workshop
16 июня 2021 г. 13:00–14:30, Logical Perspectives 2021 Summer School, г. Москва, online
 


First-Order Theorem Proving and Vampire. Lecture 3

L. Kovács
Видеозаписи:
MP4 566.8 Mb
Материалы:
Adobe PDF 2.0 Mb
Adobe PDF 107.8 Kb

Количество просмотров:
Эта страница:36
Видеофайлы:8
Материалы:4


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


Материалы: school_kovacs_slides_3.pdf (2.0 Mb), school_kovacs.pdf (107.8 Kb)

Язык доклада: английский
Цикл лекций

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