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

Search
RSS
New in collection



Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
September 20, 2023 16:00–17:30, Moscow, Steklov Mathematical Institute, Room 110 + online 		 

Lecture 1. Bounded Arithmetic and Proof Complexity

A. Das

University of Birmingham
Video records:
MP4 3,481.6 Mb

Number of views:
This page:110
Video files:31




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