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

intuicionismus, per martin-lof, computational linguistics, semantics, semantika, natural language processing, natural language, teorie typu, intuicionisticka teorie typu, komputacni lingvistika, intuitionism, type theory, intuitionistic type theory, prirozeny jazyk, aarne ranta, logika, logic

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

251.
Vyvlečková, Justýna
Fakulta: Filozofická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Humanitní studia / Španělský jazyk a literatura, Veřejná ekonomika a správa
Obhajoba bakalářské práce: Los rasgos del español popular mexicano del siglo XIX presentes en la novela Astucia, el jefe de los Hermanos de la Hoja, de Luis G. Inclán | Práce na příbuzné téma Zobrazit popisek

252.
Zahradníčková, Alena
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Generování nových logických úloh pro IB000 | Práce na příbuzné téma

253.
Zachar, Lev Martin
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Umělá inteligence a zpracování dat / Strojové učení a umělá inteligence
Obhajoba diplomové práce: Digital Poet | Práce na příbuzné téma

254.
Zaňková, Veronika
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Anglický jazyk a literatura
Obhajoba diplomové práce: The Passive Voice from a Semantico-Syntactic Perspective | Práce na příbuzné téma

255.
Ziembová, Lucie
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Matematika / Matematika se zaměřením na vzdělávání, Speciální pedagogika se zaměřením na vzdělávání
Obhajoba bakalářské práce: Středoškolska matematika se zaměřením na zrakově znevýhodněné studenty | Práce na příbuzné téma

256.
Žebráková, Veronika
Fakulta: Filozofická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Filologie / Český jazyk a literatura
Obhajoba diplomové práce: Sémantická analýza substantivních valencí na základě korpusových dat | Práce na příbuzné téma