underlineallarticles
Filosofický ústav Akce filosofického ústavu AV ČR Přednášky Constructive Type Theory I

Constructive Type Theory I
Ansten Klev
Pořádá Oddělení logiky

08. 10. 2015
10.00
FLÚ AV ČR, Jilská 1, Praha 1, zasedací m.
Share Tweet
Официальный сайт MEGA m3ga.gl, m3ga.at, мега, Mega, мега площадка, мега сайт, мега ссылка, мега зеркало, сайт мега отзывы, мега рутор, мега шоп, мега рабочая ссылка Зеркала и ссылки на Мега