Computer Science Club

City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

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

What:	Lecture
When:	Thursday, 28 October 2010, 18:30–20:55
Where:	ПОМИ РАН
Slides:	proofcomplexity_lecture_281010.pdf