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

Search
RSS
New in collection






Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic"
December 24, 2018 16:20–16:55, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
 


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

D. O. Sokolov

St. Petersburg Department of Steklov Mathematical Institute of Russian Academy of Sciences
Video records:
MP4 412.2 Mb
MP4 907.8 Mb

Number of views:
This page:252
Video files:26

D. O. Sokolov
Photo Gallery


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