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

predikátová logika

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

« 1 2 » (celkem 11 prací)
E-learningová podpora pro výuku sémantického ověřování platnosti logických úsudků
 (Jiří Novák)

2009, Bakalářská práce, Fakulta elektrotechniky a informatiky / Vysoká škola báňská - Technická univerzita Ostrava

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

Seznam prací, které mají shodná klíčová slova.

« 1 2 » (celkem 11 prací)