č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.