Práce na stejné téma (mají shodná klíčová slova):
predicate logicKlíčová slova abecedně | Klíčová slova dle četnosti
Popis regulárních jazyků pomocí predikátové logiky
(Martin Jonáš)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/kfobw/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Podpora stromové reprezentace úloh predikátové logiky
(Petr VESELÝ)2012, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//uir545// | Aplikovaná informatika / Informatika a výpočetní technika - aplikovaná informatika | Práce na příbuzné téma
Podpora stromové reprezentace úloh predikátové logiky
(Petr VESELÝ)2011, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//ccj72a// | Aplikovaná informatika / Informatika a výpočetní technika - aplikovaná informatika | Práce na příbuzné téma
Komponenta výukového serveru TI - Predikátová logika
(Michaela Lubyová)2019, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/136219 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma
Návrh algoritmu pro rozhodování vybraných podtříd predikátové logiky 1. řádu
(Daniel Šudřich)2016, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/119225 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma
Program pro výuku a testování základů výrokové a predikátové logiky
(Tomáš Michek)2009, Bakalářská práce, Fakulta elektrotechniky a informatiky / Univerzita Pardubice
• http://theses.cz/id//j2qyf7// | Informační technologie / | Práce na příbuzné téma
Predikátová logika 1. řádu a Hornovy klauzule
(Martin Blahovský)2014, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/103857 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma
Efektivita inference ve fuzzy predikátové logice
(Tomáš TURČEK)2009, Diplomová práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//ygtkj4// | Informatika / Informační systémy | Práce na příbuzné téma
Predikátová a klauzulární logika
(Juraj Paluš)2014, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/108817 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma