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

Нижние оценки для принципа Дирихле и корректности метода резолюций
Теория сложности доказательств


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

Видео

Материалы