City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Системы Фреге
Proof complexity
What:
Lecture
When:
Thursday, 23 September 2010, 18:30–20:55
Where:
ПОМИ РАН
Slides:
proofcomplexity_lecture_230910.pdf
Video
Attached files
20100923_proof_complexity_hirsch_lecture02_lecture_notes.pdf
