- Prolog Janova evangelia (J 1,1–18). Poznámky k výkladu a překladu2010 | Evangelická teologická fakulta
- Optimalizace prologovských programů plně automatickou transformační procedurou2008 | Matematicko-fyzikální fakulta
- Předmluva2000 | Filozofická fakulta
- Prolog2004 | Filozofická fakulta
- Zlepšování efektivity prologovských programů pomocí plně automatizované unfold/fold transformace2007 | Matematicko-fyzikální fakulta
- Prolog: jednota jako etický princip poznání2013 | Publikace bez příslušnosti k fakultě
- Zlepšování efektivity Prologovských programů pomocí plně automatizované transformace rozvinutí/svinutí2007 | Matematicko-fyzikální fakulta
- Zlepšování efektivity prologovských programů pomocí plně automatizované transformace2007 | Matematicko-fyzikální fakulta
- Běsi jako prolog revoluce2002 | Filozofická fakulta
- On-line Guide to Prolog Programming1998 | Matematicko-fyzikální fakulta
- Anatomy of a Prolog Compiler +1Publikace bez příslušnosti k fakultě
- Staroměstská exekuce 1621 : Prolog - Veliké theatrumPublikace bez příslušnosti k fakultě
- ver. Interactive Prolog GuidePublikace bez příslušnosti k fakultě
- Implementace překladače PROLOGu do kódu Warrenova abstraktního počítačePublikace bez příslušnosti k fakultě
- Josef Cibulka a Národní galerie. Prolog a epilog jedné kapitoly2020 | Katolická teologická fakulta
- Parser Combinators using Higher Order Programming in PrologPublikace bez příslušnosti k fakultě
- A Narrative about a Young Man and the Magician Mesites in the Slavonic Medieval Tradition2022 | Publikace bez příslušnosti k fakultě
- A Narrative About a Young Man and the Magician: Slavonic Versions of a Byzantine Story2022 | Publikace bez příslušnosti k fakultě
- Bewegungskulturen von Mädchen ? Bewegungsarbeit mit Mädchen2009 | Fakulta tělesné výchovy a sportu
- Doprovodné texty k žalmům2021 | Filozofická fakulta
- Úvod do problematiky pramene Doctrina Iacobi nuper baptizati II : Falešný prorok a nucený křest židů za Hérakleia2020 | Filozofická fakulta
- Mediální percepce osobnosti: MUDr. Leopold Fritz2011 | Filozofická fakulta
- Chorobné znaky a příznaky2014 | Fakulta tělesné výchovy a sportu, Lékařská fakulta v Hradci Králové, 1. lékařská fakulta
- Je nutné vyšetření koagulace před adenoidektomií a tonzilektomií?2011 | Lékařská fakulta v Hradci Králové
- Using Tabled Logic Programming to Solve the Petrobras Planning Problem2014 | Matematicko-fyzikální fakulta
- Dva lékaři z Budyšína a Klicperova fraška (ke 150. výročí zrodu lužickosrbského divadla)2012 | 3. lékařská fakulta
- Compiling and Executing PDDL in Picat2016 | Matematicko-fyzikální fakulta
- Existuje „brak“ u Pierra Bourdieua?2013 | Filozofická fakulta
- Kombinatorika v logickém programování: implementace a aplikace2006 | Matematicko-fyzikální fakulta