RUS
ENG
Full version
VIDEO LIBRARY
Anupam Das mini course "Bounded Arithmetic and Proof Complexity"
September 28, 2023
16:00
, Moscow, Steklov Mathematical Institute, Room 110 + online
Lecture 4. Bounded Arithmetic and Proof Complexity
A. Das
University of Birmingham
Language:
English
©
Steklov Math. Inst. of RAS
, 2024