RUS
ENG
Full version
VIDEO LIBRARY
Logical Perspectives 2021: Summer School and Workshop
June 14, 2021
15:30
, Moscow, online
Proof Complexity. Lecture 1
A. A. Razborov
Language:
English
Series of lectures
Proof Complexity. Lecture 1
A. A. Razborov,
June 14, 2021
15:30
Proof Complexity. Lecture 2
A. A. Razborov,
June 15, 2021
15:30
Proof Complexity. Lecture 3
A. A. Razborov,
June 16, 2021
15:30
©
Steklov Math. Inst. of RAS
, 2026
