čtvrtek 22. 10. 2015 14.00
Přednáška | Ústav dějin umění, Husova 4, Praha 1, zased. m.
Constructive Type Theory III
Pořádá Oddělení logiky
Ansten Klev
(Ansten Klev)
Anotace
Anotace ke stažení ZDE.
Zvolte jazyk
čtvrtek 22. 10. 2015 14.00
Přednáška | Ústav dějin umění, Husova 4, Praha 1, zased. m.
Pořádá Oddělení logiky
Ansten Klev
(Ansten Klev)
Anotace ke stažení ZDE.
Jsme hrdým držitelem ocenění:
