Práce na stejné téma (mají shodná klíčová slova):
predicateKlíčová slova abecedně | Klíčová slova dle četnosti
Návrh algoritmu pro rozhodování vybraných podtříd predikátové logiky 1. řádu
(Daniel Šudřich)2016, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/119225 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma