Práce na stejné téma (mají shodná klíčová slova):
dokazovačKlíčová slova abecedně | Klíčová slova dle četnosti
Počítačové dokazování
(Filip TŮMA)2021, Diplomová práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//l02gxx/Diplomova_prace.pdf/ | Informatika / | Práce na příbuzné téma
Nové příklady pro výuku PROLOGu
(Tomáš GLÍR)2014, Diplomová práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//lg75wm/glirt.pdf/ | Informatika / | Práce na příbuzné téma