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

modalni logika

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

« 1 2 » (celkem 13 prací)
Rozhodnutelnost v temporálních logikách
 (Lukáš Holík)

2006, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/dg07t/ | Informatika / | Práce na příbuzné téma

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

Implementace distribuovaného algoritmu v prostředí DiVinE
 (Martin Pekárek)

2006, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/o4yfs/ | Aplikovaná informatika / | Práce na příbuzné téma

Nástroj pro interaktivní konstrukci tablových důkazů
 (Jan Marek)

2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/e2frk/ | Informatika / Počítačové systémy | Práce na příbuzné téma

« 1 2 » (celkem 13 prací)