Theses on a related topic (having the same keywords):
korektnost, completeness, vicedruhova univerzalni algebra, rovnostni logika, uplnost, equational logic, soundness, many-sorted universal algebraKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Grunová, Jana
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Cartography and geoinformatics / Cartography and geoinformatics
Master's thesis defence: Vliv vlastností přispěvatelů na kvalitu dat OpenStreetMap | Theses on a related topic
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Cartography and geoinformatics / Cartography and geoinformatics
Master's thesis defence: Vliv vlastností přispěvatelů na kvalitu dat OpenStreetMap | Theses on a related topic
2.
Svoboda, Filip
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Metrický prostor spojitých funkcí: teorie a aplikace | Theses on a related topic
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Metrický prostor spojitých funkcí: teorie a aplikace | Theses on a related topic
3.
Fiedler, Adam
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Deduction in Matching Logic | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Principles of programming languages
Master's thesis defence: Deduction in Matching Logic | Theses on a related topic
4.
Káňová, Jana
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Variety metabelovských grup | Theses on a related topic
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Variety metabelovských grup | Theses on a related topic
5.
Machovec, Petr
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Automatická sumarizace textu | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Master's thesis defence: Automatická sumarizace textu | Theses on a related topic
6.
Rajivv, Rajivv
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering (eng.)
Master's thesis defence: Assessing the Data Quality of Wikipedia | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering (eng.)
Master's thesis defence: Assessing the Data Quality of Wikipedia | Theses on a related topic
7.
Zukal, Dominik
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Ecological and Evolutionary Biology / Botany (combination/specialization: Ecology of Plants)
Master's thesis defence: Vliv počtu jedinců rostlin na diverzitu lesní vegetace | Theses on a related topic
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Ecological and Evolutionary Biology / Botany (combination/specialization: Ecology of Plants)
Master's thesis defence: Vliv počtu jedinců rostlin na diverzitu lesní vegetace | Theses on a related topic