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

Моделирование секущих плоскостей в системах Фреге, оптимальные системы
Proof complexity

What: Lecture
When: Thursday, 30 September 2010, 18:30–20:55
Where: ПОМИ РАН
Slides: proofcomplexity_lecture_300910.pdf

Video

Attached files

Computer Science Club, 2007–24 гг.