prikaz prve stranice dokumenta Primjene Coq alata za dokazivanje u matematici i računarstvu
No public access
master's thesis
Primjene Coq alata za dokazivanje u matematici i računarstvu

Hren, Miho
University of Zagreb
Faculty of Electrical Engineering and Computing

Cite this document

Hren, M. (2024). Primjene Coq alata za dokazivanje u matematici i računarstvu (Master's thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:192892

Hren, Miho. "Primjene Coq alata za dokazivanje u matematici i računarstvu." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2024. https://urn.nsk.hr/urn:nbn:hr:168:192892

Hren, Miho. "Primjene Coq alata za dokazivanje u matematici i računarstvu." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2024. https://urn.nsk.hr/urn:nbn:hr:168:192892

Hren, M. (2024). 'Primjene Coq alata za dokazivanje u matematici i računarstvu', Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 22 October 2024, https://urn.nsk.hr/urn:nbn:hr:168:192892

Hren M. Primjene Coq alata za dokazivanje u matematici i računarstvu [Master's thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2024 [cited 2024 October 22] Available at: https://urn.nsk.hr/urn:nbn:hr:168:192892

M. Hren, "Primjene Coq alata za dokazivanje u matematici i računarstvu", Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2024. Available at: https://urn.nsk.hr/urn:nbn:hr:168:192892

Please login to the repository to save this object to your list.