Theses on the same topic (having an identical keyword):
odvozovaci systemKeywords ordered alphabetically | Keywords ordered by occurrence rate
Formální manipulace s odvozovacími systémy
(Matej Kollár)2009, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dqm9v/ | Informatika / | Theses on a related topic
Spornost fuzzy logických teorií v odvozovacích systémech
(Petr Havlíček)2009, Diplomová práce, Vysoká škola ekonomická v Praze
• http://www.vse.cz/vskp/eid/19869 | Aplikovaná informatika / Znalostní technologie | Theses on a related topic
Efektové algebry a kvantové logiky
(Roman Štěpánek)2018, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/jxh97/ | Matematika / Algebra a diskrétní matematika | Theses on a related topic
Teorie modelů
(Jakub Záthurecký)2019, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/ixb5g/ | Matematika / Algebra a diskrétní matematika | Theses on a related topic
Dokazování pomocí přirozené dedukce v jazyku TIL-Script
(Vojtěch Patschka)2019, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/136256 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Návrh frameworku pro přístup ke znalostním zdrojům pro ontologické informační systémy
(Tomáš KOLIBA)2014, Diplomová práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//s80nch// | Informatika / Informační systémy | Theses on a related topic
Formální dedukce v grafových systémech reprezentace znalostí
(Martin ŽÁČEK)2012, Disertační práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//3parpc// | Informatika / Informační systémy | Theses on a related topic