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

kvantifikator

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

« 1 2 » (celkem 14 prací)
Rozhodování pravdivosti formulí Presburgerovy aritmetiky pomocí eliminace kvantifikátorů
 (Pavel Jurečka)

2011, Bakalářská práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

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

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

Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití
 (Lukáš HONZÍK)

2013, Disertační práce, Fakulta pedagogická / ZÁPADOČESKÁ UNIVERZITA V PLZNI

• http://theses.cz/id//d42lnd// | Specializace v pedagogice / Informační a komunikační technologie ve vzdělávání | Práce na příbuzné téma

Počítačové metody eliminace kvantifikátorů v R a možnosti jejich využití
 (Lukáš HONZÍK)

2013, Disertační práce, Fakulta pedagogická / ZÁPADOČESKÁ UNIVERZITA V PLZNI

• http://theses.cz/id//vtn1y8// | Specializace v pedagogice / Informační a komunikační technologie ve vzdělávání | Práce na příbuzné téma

Idiosyncratic Behavior of Each and Every
 (Eva VERNEROVÁ)

2017, Bakalářská práce, Filozofická fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

• http://theses.cz/id//pdr55z// | Filologie / Česká filologie - Anglická filologie | Práce na příbuzné téma

« 1 2 » (celkem 14 prací)