diplomski rad
Računalna formalizacija matematičkih dokaza

Čižić, Ivona
Sveučilište u Zagrebu
Prirodoslovno-matematički fakultet
Matematički odsjek

Citirajte ovaj rad

Čižić, I. (2023). Računalna formalizacija matematičkih dokaza (Diplomski rad). Zagreb: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:217:012282

Čižić, Ivona. "Računalna formalizacija matematičkih dokaza." Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, 2023. https://urn.nsk.hr/urn:nbn:hr:217:012282

Čižić, Ivona. "Računalna formalizacija matematičkih dokaza." Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, 2023. https://urn.nsk.hr/urn:nbn:hr:217:012282

Čižić, I. (2023). 'Računalna formalizacija matematičkih dokaza', Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, citirano: 02.10.2024., https://urn.nsk.hr/urn:nbn:hr:217:012282

Čižić I. Računalna formalizacija matematičkih dokaza [Diplomski rad]. Zagreb: Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet; 2023 [pristupljeno 02.10.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:217:012282

I. Čižić, "Računalna formalizacija matematičkih dokaza", Diplomski rad, Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, Zagreb, 2023. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:217:012282

Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.