RUS
ENG
Полная версия
ВИДЕОТЕКА
Logical Perspectives 2021: Summer School and Workshop
14 июня 2021 г.
15:30
, г. Москва, online
Proof Complexity. Lecture 1
A. A. Razborov
Язык доклада:
английский
Цикл лекций
Proof Complexity. Lecture 1
A. A. Razborov,
14 июня 2021 г.
15:30
Proof Complexity. Lecture 2
A. A. Razborov,
15 июня 2021 г.
15:30
Proof Complexity. Lecture 3
A. A. Razborov,
16 июня 2021 г.
15:30
©
МИАН
, 2024
