Computer Science Club

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

Нижняя оценки для CP. Нижняя оценка для цейтинских формул в Res
Теория сложности доказательств

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