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

Лекции 1-2
Tarski's Algorithm

What: Lecture
When: Sunday, 07 September 2008, 10:40–12:10
Where: ПОМИ РАН
Slides: tarskialgorithm_lecture_070908.pdf