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

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

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

Video

Attached files

Computer Science Club, 2007–24 гг.