Zpět na vyhledávání

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

K

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

« 1 2 » (celkem 12 prací)
An Executable Formal Semantics of Agda
 (Andrej Tokarčík)

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

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

Seznam prací, které mají shodná klíčová slova.

An Executable Formal Semantics of Agda
 (Andrej Tokarčík)

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

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

An Executable Formal Semantics of Agda
 (Andrej Tokarčík)

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

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

An Executable Formal Semantics of Agda
 (Andrej Tokarčík)

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

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

An Executable Formal Semantics of Agda
 (Andrej Tokarčík)

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

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

An Executable Formal Semantics of Agda
 (Andrej Tokarčík)

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

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

An Executable Formal Semantics of C++
 (Jan Tušil)

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

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

Sémantika slovesného vidu v bulharštině a češtině z pohledu formální sémantiky
 (Zornica Cvetanova Cvetkova)

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

• https://is.muni.cz/th/be7bc/ | Filologie (čtyřleté) / Paleoslovenistika a slovanské jazyky | Práce na příbuzné téma

An Executable Formal Semantics of Agda
 (Andrej Tokarčík)

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

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

An Executable Formal Semantics of Agda
 (Andrej Tokarčík)

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

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

« 1 2 » (celkem 12 prací)