Prohlížení dle autora "Kosterec, Miloš"
-
A valid rule of beta-conversion for the logic of partial functions
Duží, Marie; Kosterec, Miloš (Organon F. 2017, vol. 24, issue 1, p. 10-36.) -
Rozpoznávání kontextů v TIL
Fait, Michal (Diplomová práce, 2016)