MATYÁŠ, Jiří. \textit{Využití formálních metod v přibližném počítání}. Online. Dizertačná práca. Brno: Vysoké učení technické v Brně. 2024. Dostupné z: https://theses.cz/id/y1pjxy/.
MATYÁŠ, Jiří. <i>Využití formálních metod v přibližném počítání</i>. Online. Dizertačná práca. Brno: Vysoké učení technické v Brně. 2024. Dostupné z: https://theses.cz/id/y1pjxy/.
MATYÁŠ, Jiří. Využití formálních metod v přibližném počítání. Online. Dizertačná práca. Brno: Vysoké učení technické v Brně. 2024. Dostupné z: https://theses.cz/id/y1pjxy/.
@PhdThesis{Matyas2024thesis,
AUTHOR = "Matyáš, Jiří",
TITLE = "Využití formálních metod v přibližném počítání [online]",
YEAR = "2024 [cit. 2024-10-16]",
TYPE = "Dizertačná práca",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/y1pjxy/",
}
@PhdThesis{Matyas2024thesis,
AUTHOR = {Matyáš, Jiří},
TITLE = {Využití formálních metod v přibližném počítání},
YEAR = {2024},
TYPE = {Dizertačná práca},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/y1pjxy/},
URL_DATE = {2024-10-16},
}
{{Citace kvalifikační práce
| příjmení = Matyáš
| jméno = Jiří
| instituce = Vysoké učení technické v Brně
| titul = Využití formálních metod v přibližném počítání
| url = https://theses.cz/id/y1pjxy/
| typ práce = Dizertačná práca
| vedoucí =
| rok = 2024
| počet stran =
| strany =
| citace = 2024-10-16
| poznámka =
| jazyk =
}}