- Je elementární logika totéž co predikátová logika prvn ího řádu?1997 | Matematicko-fyzikální fakulta
- Rozhodování vlastností prvního řádu pro řídké grafy2010 | Matematicko-fyzikální fakulta
- MPTP - Motivace, implementace, první experimenty2005 | Matematicko-fyzikální fakulta
- Matematika a počítačové důkazy2008 | Matematicko-fyzikální fakulta
- Matematika a počítačové důkazy2008 | Pedagogická fakulta
- Složitost problémů splnitelnosti časových omezení2008 | Matematicko-fyzikální fakulta
- Externí zdroje axiomů pro automatické dokazování vět2009 | Matematicko-fyzikální fakulta
- INCOX - jazyk pro popis integritních omezení v XML +12008 | Matematicko-fyzikální fakulta
- Rekonstrukce typového systému Mizaru v systému HOL Light2010 | Matematicko-fyzikální fakulta
- Kurt Gödel: Úplnost a neúplnost2015 | Filozofická fakulta