Theses on the same topic (having an identical keyword):
logicsKeywords ordered alphabetically | Keywords ordered by occurrence rate
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 | Theses on a related topic
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 / | Theses on a related topic
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í | Theses on a related topic
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 / | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic