RUS
ENG
Full version
VIDEO LIBRARY
Mathematical Logic, Algebra and Computation: A two-day conference dedicated to 85-th anniversary of S. I. Adian
July 18, 2016
15:50
, Moscow, Steklov Mathematical Institute of RAS, Gubkina, 8
Теория сложности доказательств
A. A. Razborov
©
Steklov Math. Inst. of RAS
, 2024