Prohlížení dle autora "Fait, Michal"
-
Absolvování individuální odborné praxe
Fait, Michal (Bakalářská práce, 2013) -
HTLC: Hyperintensional typed lambda calculus
Fait, Michal; Primiero, Giuseppe (Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications. 2021, vol. 8, issue 2, p. 469-495.) -
Implementace herních strategií pro hru HEX
Polok, Jan (Bakalářská práce, 2018) -
Reprezentace komputačních znalostí a návrh inferenčního stroje pro TIL
Fait, Michal (Disertační práce, 2022) -
Rozpoznávání kontextů v TIL
Fait, Michal (Diplomová práce, 2016) -
Rozšírenie a modernizácia projektu PDF Manipulator
Špánik, Jakub (Bakalářská práce, 2023)