RUS
ENG
Full version
SEMINARS
Colloquium of the Faculty of Computer Science
June 14, 2016
18:10
, Moscow
Теория сложности доказательств
A. A. Razborov
ab
a
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
b
University of Chicago
https://www.youtube.com/watch?v=pQt0o-8k3gE
©
Steklov Math. Inst. of RAS
, 2024