Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection






Logical Perspectives 2021: Summer School and Workshop
June 14, 2021 13:00–14:30, Logical Perspectives 2021 Summer School, Moscow, online
 


First-Order Theorem Proving and Vampire. Lecture 1

L. Kovács
Video records:
MP4 681.6 Mb
Materials:
Adobe PDF 494.5 Kb
Adobe PDF 107.8 Kb

Number of views:
This page:79
Video files:25
Materials:16

L. Kovács


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


Materials: school_kovacs_slides_1.pdf (494.5 Kb), school_kovacs.pdf (107.8 Kb)

Language: English
Series of lectures

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021