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

Алгебраические и полуалгебраические системы доказательств
Proof complexity

What: Lecture
When: Thursday, 11 November 2010, 18:30–20:55
Where: ПОМИ РАН

Video