Zpět na vyhledávání

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

aktivita

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

Analýza událostí a jejich temporálních aspektů s využitím Transparentní intensionální logiky
 (Jakub Macek)

2017, Disertační práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

http://hdl.handle.net/10084/127349 | Informatika, komunikační technologie a aplikovaná matematika / Informatika | Práce na příbuzné téma

Využití Transparentní intensionální logiky pro podporu realizace inferenčního stroje v multiagentovém systému
 (Petr Vyletělek)

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

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

Implementace funkce if-then-else s lazy evaluací dle specifikace v TIL
 (Martin Velek)

2014, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava

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

Investigations into Transparent Intensional Logic: A Rule-based Approach
 (Ivo Pezlar)

2016, Disertační práce, Filozofická fakulta / Masarykova univerzita

https://is.muni.cz/th/hhhga/ | Filozofie (čtyřleté) / Filozofie | Práce na příbuzné téma

Use-mention Distinction in Transparent Intensional Logic
 (Jan Křetínský)

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

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

Montaguova logika ve srovnání s Transparentní intenzionální logikou
 (Daniel Balík)

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

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

Phonetic changes of Voice Onset Time and vowel duration in Czech and Canadian English bilinguals' speech
 (David RYŠKA)

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

http://theses.cz/id//3ygf7g// | Filologie / Anglická filologie | Práce na příbuzné téma

Change Point Detection in Network Traffic Time Series
 (Pavol Zaťko)

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

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

Effective Algorithms for Time Relation Checking in Message Sequence Charts
 (Ľuboš Korenčiak)

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

https://is.muni.cz/th/c4cbn/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma