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 16, 2021 13:00–14:30, Logical Perspectives 2021 Summer School, Moscow, online
 


First-Order Theorem Proving and Vampire. Lecture 3

L. Kovács
Video records:
MP4 566.8 Mb
Supplementary materials:
Adobe PDF 107.8 Kb
Adobe PDF 2.0 Mb

Number of views:
This page:151
Video files:19
Materials:25




Supplementary materials: school_kovacs.pdf (107.8 Kb) , school_kovacs_slides_3.pdf (2.0 Mb)

Language: English
Series of lectures
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024