City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Лекция 14. Нижняя оценка в системах Фреге ограниченной глубины (продолжение)
Propositional proof complexity
What:
Lecture
When:
Tuesday, 12 December 2017, 18:30–20:00
Where:
ПОМИ РАН
