Theses on the same topic (having an identical keyword):
til-scriptKeywords ordered alphabetically | Keywords ordered by occurrence rate
Implementace jazyka TIL-Script
(Filip Peterek)2023, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/150066 | Informační a komunikační technologie / Informatika a výpočetní technika | 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
Rozpoznávání kontextů v TIL
(Michal Fait)2016, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/115830 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Implementace funkce if-then-else s lazy evaluací dle specifikace v TIL
(Martin Velek)2014, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/103766 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
TIL jakožto specifikační jazyk pro inference v PL1.
(Jozef Straka)2011, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/89515 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Logika dynamického diskursu
(Ivana Kotová)2018, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/128520 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Učení v Multiagentních systémech za pomocí symbolické reprezentace znalostí
(Adam Albert)2019, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/136257 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic
Využití Transparentní intensionální logiky pro podporu realizace inferenčního stroje v multiagentovém systému
(Petr Vyletělek)2009, Diplomová práce, Fakulta elektrotechniky a informatiky / Vysoká škola báňská - Technická univerzita Ostrava
• http://hdl.handle.net/10084/74052 | Informační a komunikační technologie / Informatika a výpočetní technika | Theses on a related topic