Práce na stejné téma (mají shodná klíčová slova):

automatizovana dedukce

Klíčová slova abecedně | Klíčová slova dle četnosti

Automatizovaná dedukce ve výrokové logice
 (Lukáš BURYAN)

2015, Bakalářská práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

• http://theses.cz/id//4sky5t// | Aplikovaná informatika / Informatika a výpočetní technika - aplikovaná informatika | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Klauzulární logika v systémech automatizované dedukce
 (Markéta RAŠÍKOVÁ)

2016, Diplomová práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ

• http://theses.cz/id//u7vvee// | Informatika / Informační systémy | Práce na příbuzné téma

Aplikace inovativních aktivních i pasivních prvků logistického systému v podniku Saint-Gobain Sekurit ČR spol. s r.o.
 (Nina Zarybnicka)

2019, Bakalářská práce, Vysoká škola technická a ekonomická v Českých Budějovicích

• https://is.vstecb.cz/th/ldcqx/ | Dopravní technologie a spoje / Technologie dopravy a přepravy | Práce na příbuzné téma