RUS
ENG
Full version
SEMINARS
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
December 13, 2016
18:30
, Moscow, Steklov Mathematical Institute
О невозможности одновременной оптимизации различных мер сложности пропозициональных доказательств
A. A. Razborov
©
Steklov Math. Inst. of RAS
, 2024