Práce na stejné téma (mají shodná klíčová slova):
prirozena dedukceKlíčová slova abecedně | Klíčová slova dle četnosti
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 | Práce na příbuzné téma
Reprezentace komputačních znalostí a návrh inferenčního stroje pro TIL
(Michal Fait)2022, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/151353 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Práce na příbuzné téma
Důkazové techniky ve výrokové logice
(Marek Hošťálek)2013, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/101086 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma
Gentzenův důkazový kalkul
(Halina Kajzarová)2015, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/108654 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma