Název práce | Rok vypsání | Rok obhájení | Typ práce | Obor práce | Vedoucí / školitel | Řešitel | Vypsáno | Zadáno | Ústav | Fakulta | |
Additive Pairs in Quantitative Type Theory | 2019/2020 | 2020/2021 | diplomová práce | MMIT | Mgr. Vít Šefl | skrytý | 18.08.2020 | 25.08.2020 | Katedra algebry (32-KA) | MFF |
Výsledky 1-1 z 1 1