MATYÁŠ, Jiří. \textit{Využití formálních metod v přibližném počítání}. Online. Doctoral theses, Dissertations. Brno: Brno University of Technology. 2024. Available from: https://theses.cz/id/34cg8e/.
MATYÁŠ, Jiří. <i>Využití formálních metod v přibližném počítání</i>. Online. Doctoral theses, Dissertations. Brno: Brno University of Technology. 2024. Available from: https://theses.cz/id/34cg8e/.
MATYÁŠ, Jiří. Využití formálních metod v přibližném počítání. Online. Doctoral theses, Dissertations. Brno: Brno University of Technology. 2024. Available from: https://theses.cz/id/34cg8e/.
@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-08-23]",
TYPE = "Doctoral theses, Dissertations",
SCHOOL = "Brno University of TechnologyBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/34cg8e/",
}
@PhdThesis{Matyas2024thesis,
AUTHOR = {Matyáš, Jiří},
TITLE = {Využití formálních metod v přibližném počítání},
YEAR = {2024},
TYPE = {Doctoral theses, Dissertations},
INSTITUTION = {Brno University of Technology},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/34cg8e/},
URL_DATE = {2024-08-23},
}
{{Citace kvalifikační práce
| příjmení = Matyáš
| jméno = Jiří
| instituce = Brno University of Technology
| titul = Využití formálních metod v přibližném počítání
| url = https://theses.cz/id/34cg8e/
| typ práce = Doctoral theses, Dissertations
| vedoucí =
| rok = 2024
| počet stran =
| strany =
| citace = 2024-08-23
| poznámka =
| jazyk =
}}