City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Связь сложности древесных доказательств и коммуникационной сложности
Proof complexity
What:
Lecture
When:
Thursday, 25 November 2010, 18:30–20:55
Where:
ПОМИ РАН
Slides:
proofcomplexity_lecture_251110.pdf
