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 | |
Reasoning in Description Logics | 2004/2005 | 2012/2013 | disertační práce | 4I1 | doc. RNDr. Antonín Kučera, CSc. | skrytý | 01.10.2004 | 01.10.2004 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Algoritmická náhodnost | 2006/2007 | diplomová práce | doc. RNDr. Antonín Kučera, CSc. | 01.10.2006 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
Výsledky 1-2 z 2 1