Theses on a related topic (having the same keywords):

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

Keywords ordered alphabetically | Keywords ordered by occurrence rate

251.
Vyvlečková, Justýna
Faculty: Faculty of Arts
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Humanities / Public Economics and Administration, Spanish Language and Literature
Bachelor's thesis defence: 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 | Theses on a related topic Display description

252.
Zahradníčková, Alena
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Generování nových logických úloh pro IB000 | Theses on a related topic

253.
Zachar, Lev Martin
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Machine learning and artificial intelligence
Master's thesis defence: Digital Poet | Theses on a related topic

254.
Zaňková, Veronika
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Philology / English Language and Literature
Master's thesis defence: The Passive Voice from a Semantico-Syntactic Perspective | Theses on a related topic

255.
Ziembová, Lucie
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics with a view to Education, Special Education for Education
Bachelor's thesis defence: Středoškolska matematika se zaměřením na zrakově znevýhodněné studenty | Theses on a related topic

256.
Žebráková, Veronika
Faculty: Faculty of Arts
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Philology / Czech Language and Literature
Master's thesis defence: Sémantická analýza substantivních valencí na základě korpusových dat | Theses on a related topic