Práce na stejné téma (mají shodná klíčová slova):
formulasKlíčová slova abecedně | Klíčová slova dle četnosti
Grafická reprezentace formulí logiky LTL
(Michal Keda)2015, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/fdund/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Routineformeln im Vergleich Deutsch - Slowakisch - Tschechisch
(Andrej Pejčev)2015, Diplomová práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/duwtz/ | Překladatelství a tlumočnictví / Překladatelství německého jazyka | Práce na příbuzné téma
Paralelní syntéza parametrů z formulí hybridní logiky HUCTL
(Samuel Pastva)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/slugu/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Arengy listin v českém státě do roku 1283 (Formule ve světle ars dictaminis)
(Martina Smolová)2018, Disertační práce, Filozofická fakulta / Masarykova univerzita
• https://is.muni.cz/th/o1x21/ | Historické vědy (čtyřleté) / Pomocné vědy historické | Práce na příbuzné téma
Temporal attribute implications
(Jan TŘÍSKA)2018, Disertační práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//5x5ue2// | Informatika / | Práce na příbuzné téma