Zpět na vyhledávání

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

odvozovaci pravidla

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

Implementace báze pravidel a fuzzy regulátoru v rozhodovacích problémech demografických studií
 (Jiří SEDONÍK)

2012, Diplomová práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

• http://theses.cz/id//sqtk22// | Geografie / Geoinformatika | Práce na příbuzné téma

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

Nástroj pro interaktivní dokazování tvrzení o formálních jazycích
 (Tomáš Richter)

2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/an2us/ | Aplikovaná informatika / | Práce na příbuzné téma

Investigations into Transparent Intensional Logic: A Rule-based Approach
 (Ivo Pezlar)

2016, Disertační práce, Filozofická fakulta / Masarykova univerzita

• https://is.muni.cz/th/hhhga/ | Filozofie (čtyřleté) / Filozofie | Práce na příbuzné téma

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