Город: Тест Санкт-Петербург Новосибирск Казань Язык: Русский English

Связь сложности древесных доказательств и коммуникационной сложности
Теория сложности доказательств

Что: Лекция
Когда: Четверг, 25 ноября 2010, 18:30–20:55
Где: ПОМИ РАН
Слайды: proofcomplexity_lecture_251110.pdf