završni rad
Metode kreiranja formalnih dokaza

Tomislav Belcar (2009)
Sveučilište u Zagrebu
Fakultet organizacije i informatike
Citirajte ovaj rad...

Belcar, T. (2009). Metode kreiranja formalnih dokaza (Završni rad). Preuzeto s https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar, Tomislav. "Metode kreiranja formalnih dokaza." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2009. https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar, Tomislav. "Metode kreiranja formalnih dokaza." Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, 2009. https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar, T. (2009). 'Metode kreiranja formalnih dokaza', Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, citirano: 20.08.2019., https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar T. Metode kreiranja formalnih dokaza [Završni rad]. Varaždin: Sveučilište u Zagrebu, Fakultet organizacije i informatike; 2009 [pristupljeno 20.08.2019.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:496261

T. Belcar, "Metode kreiranja formalnih dokaza", Završni rad, Sveučilište u Zagrebu, Fakultet organizacije i informatike, Varaždin, 2009. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:211:496261