Práce na stejné téma (mají shodná klíčová slova):
rezolucna metodaKlíčová slova abecedně | Klíčová slova dle četnosti
Nástroj na podporu výučby rezolučnej metódy
(Magdaléna Majáková)2022, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/147510 | Informatika / | Práce na příbuzné téma
Predikátová a klauzulární logika
(Juraj Paluš)2014, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/108817 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma
TIL jakožto specifikační jazyk pro inference v PL1.
(Jozef Straka)2011, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/89515 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma