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

system automatizovane dedukce

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

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

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

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