Theses on the same topic (having an identical keyword):

logics

Keywords ordered alphabetically | Keywords ordered by occurrence rate

« 1 2 » (total: 16 theses)
Ontologické závazky a teorie modální logiky
 (Tomáš Ondráček)

2010, Bakalářská práce, Filozofická fakulta / Masarykova univerzita

• https://is.muni.cz/th/v5dnl/ | Filozofie / | Theses on a related topic

List of theses with an identical keyword.

Verification of Probabilistic Recursive Sequential Programs
 (Tomáš Brázdil)

2007, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/pxz9s/ | Informatika / | Theses on a related topic

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 / | Theses on a related topic

Logiky pro jazyk OWL a jejich možná neklasická rozšíření
 (Tomáš Prachař)

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

• https://is.muni.cz/th/v6vtu/ | Informatika / | Theses on a related topic

Program na podporu výuky logiky
 (Iva NAVRÁTILOVÁ)

2014, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI

• http://theses.cz/id//x6k89p// | Informatika / Aplikovaná informatika | Theses on a related topic

Algebraické základy některých logik
 (Jozef Cmar)

2009, Bakalářská práce, Přírodovědecká fakulta / Univerzita Palackého

• http://theses.cz/id//kjlf87// | Matematika / Diskrétní matematika | Theses on a related topic

« 1 2 » (total: 16 theses)