Zpět na vyhledávání

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

rezolucni metoda

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

« 1 2 » (celkem 13 prací)
Vizualizace rezoluční metody
 (Jakub Kasem)

2023, Bakalářská práce, Vysoké učení technické v Brně

http://theses.cz/id//wpgyvz// | Informační technologie / | Práce na příbuzné téma

Vizualizace rezoluční metody
 (Tomáš Smetka)

2016, Bakalářská práce, Vysoké učení technické v Brně

http://theses.cz/id//s3um6x// | Informační technologie / | Práce na příbuzné téma

E-learningová podpora výuky obecné rezoluční metody.
 (Radek Daníšek)

2011, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

http://hdl.handle.net/10084/89521 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Rezoluční princip v umělé inteligenci a logice
 (Silvie MACOSZKOVÁ)

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

http://theses.cz/id//eezpla// | Informatika / | Práce na příbuzné téma

Vybrané metody aktivizace seniorů v pobytových sociálních službách
 (Libuše DOHNALOVÁ)

2011, Bakalářská práce, Cyrilometodějská teologická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

http://theses.cz/id//kdqgnr// | Sociální politika a sociální práce / Charitativní a sociální práce | Práce na příbuzné téma

Server pro podporu výuky teoretické informatiky
 (Jan Lesniak)

2016, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

http://hdl.handle.net/10084/115886 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma

Pattern Mining in Dynamic Graphs
 (Karel Vaculík)

2018, Disertační práce, Fakulta informatiky / Masarykova univerzita

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

Nástroj pro dokazování platnosti úsudku ve výrokové logice
 (Daniel Dobeš)

2023, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava

http://hdl.handle.net/10084/150283 | Informatika / | 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

« 1 2 » (celkem 13 prací)