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

Лекция 6. Исчисление полиномов
Propositional proof complexity


What: Lecture
When: Tuesday, 17 October 2017, 18:30–20:00
Where: ПОМИ РАН