čtvrtek | 15. 10. 2015 | 14.00
Přednáška | FLÚ AV ČR, Jilská 1, Praha 1, zased. m. CMS
Constructive Type Theory II
Pořádá Oddělení logiky
Ansten Klev
(Ansten Klev)
Anotace
Anotace ke stažení ZDE.
Zvolte jazyk
čtvrtek | 15. 10. 2015 | 14.00
Přednáška | FLÚ AV ČR, Jilská 1, Praha 1, zased. m. CMS
Pořádá Oddělení logiky
Ansten Klev
(Ansten Klev)
Anotace ke stažení ZDE.