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

prirozena dedukce

Keywords ordered alphabetically | Keywords ordered by occurrence rate

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

List of theses with an identical keyword.

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 | Theses on a related topic

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 | Theses on a related topic

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 | Theses on a related topic