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

Практика 15
Propositional proof complexity

What: Seminar
When: Tuesday, 19 December 2017, 20:20–21:50
Where: ПОМИ РАН