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

predicate

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

« 1 2 » (celkem 11 prací)
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

« 1 2 » (celkem 11 prací)