Zpět na vyhledávání

Theses on the same topic (having an identical keyword):

til-script

Keywords 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

List of theses with an identical keyword.

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