University of Zagreb Faculty of Science Department of Mathematics
Cite this document
Čižić, I. (2023). Računalna formalizacija matematičkih dokaza (Master's thesis). Zagreb: University of Zagreb, Faculty of Science. Retrieved from https://urn.nsk.hr/urn:nbn:hr:217:012282
Čižić, Ivona. "Računalna formalizacija matematičkih dokaza." Master's thesis, University of Zagreb, Faculty of Science, 2023. https://urn.nsk.hr/urn:nbn:hr:217:012282
Čižić, Ivona. "Računalna formalizacija matematičkih dokaza." Master's thesis, University of Zagreb, Faculty of Science, 2023. https://urn.nsk.hr/urn:nbn:hr:217:012282
Čižić, I. (2023). 'Računalna formalizacija matematičkih dokaza', Master's thesis, University of Zagreb, Faculty of Science, accessed 06 December 2024, https://urn.nsk.hr/urn:nbn:hr:217:012282
Čižić I. Računalna formalizacija matematičkih dokaza [Master's thesis]. Zagreb: University of Zagreb, Faculty of Science; 2023 [cited 2024 December 06] Available at: https://urn.nsk.hr/urn:nbn:hr:217:012282
I. Čižić, "Računalna formalizacija matematičkih dokaza", Master's thesis, University of Zagreb, Faculty of Science, Zagreb, 2023. Available at: https://urn.nsk.hr/urn:nbn:hr:217:012282