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

Лекция 1
Tarski's Algorithm


What: Lecture
When: Sunday, 17 September 2017, 11:15–12:45
Where: ПОМИ РАН
Slides: 2017_09_17_tarskialgorithm_2017_autumn.pdf

Video

Attached files