Práce na stejné téma (mají shodná klíčová slova):
logicsKlíčová slova abecedně | Klíčová slova dle četnosti
Expressiveness and Model Checking of Temporal Logics
(Jan Strejček)2007, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zx2ly/ | Informatika / | Práce na příbuzné téma
Fundamental Properties of Probabilistic Branching-Time Logics
(Jan Křetínský)2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/tchsl/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
EQ-logics
(Martin DYBA)2012, Disertační práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA V OSTRAVĚ
• http://theses.cz/id//s9d78t// | Aplikovaná matematika / Fuzzy modelování | Práce na příbuzné téma
GUI pro zadávání hypotéz v hybridní logice
(Oto Fargaš)2020, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/j2osi/ | Aplikovaná informatika / | Práce na příbuzné téma
Logiky pro popis vlastností stochastických her
(Tomáš Laurinčík)2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/g3u4x/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Problém splnitelnosti pro pravděpodobnostní temporální logiky
(Miroslav Chodil)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zn1az/ | Informatika / Teoretická informatika | Práce na příbuzné téma
Grafická reprezentace specifikačních vzorů pro temporální logiky
(Adam Tuček)2017, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zeq2o/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Efektové algebry a kvantové logiky
(Roman Štěpánek)2018, Diplomová práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/jxh97/ | Matematika / Algebra a diskrétní matematika | Práce na příbuzné téma
Výuka logiky v předmětu základy společenských věd
(Kamila ANDRÝSEK)2023, Diplomová práce, Pedagogická fakulta / OSTRAVSKÁ UNIVERZITA
• http://theses.cz/id//9k5d89// | Učitelství pro střední školy / Psychologie - Základy společenských věd | Práce na příbuzné téma
Vybrané fuzzy logiky a jejich využití
(Kateřina OBRUSNÍKOVÁ)2023, Diplomová práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA
• http://theses.cz/id//nmmpz5// | Matematika / Fuzzy matematika | Práce na příbuzné téma