Thesis title | Year of announcement | Year of defence | Thesis type | Thesis discipline | Supervisor | Author | Announced | Assigned | Department | Faculty | |
Reasoning in Description Logics | 2004/2005 | 2012/2013 | dissertation | 4I1 | doc. RNDr. Antonín Kučera, CSc. | hidden | 01.10.2004 | 01.10.2004 | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF | |
Algorithmic Randomness | 2006/2007 | diploma thesis | doc. RNDr. Antonín Kučera, CSc. | 01.10.2006 | Ne | Katedra teoretické informatiky a matematické logiky (32-KTIML) | MFF |
Results 1-2 of 2 1