undergraduate thesis
Methods for creating formal proofs

Tomislav Belcar (2009)
University of Zagreb
Faculty of Organization and Informatics
Cite this document...

Belcar, T. (2009). Metode kreiranja formalnih dokaza (Undergraduate thesis). Retrieved from https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar, Tomislav. "Metode kreiranja formalnih dokaza." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2009. https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar, Tomislav. "Metode kreiranja formalnih dokaza." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2009. https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar, T. (2009). 'Metode kreiranja formalnih dokaza', Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, accessed 21 August 2019, https://urn.nsk.hr/urn:nbn:hr:211:496261

Belcar T. Metode kreiranja formalnih dokaza [Undergraduate thesis]. Varaždin: University of Zagreb, Faculty of Organization and Informatics; 2009 [cited 2019 August 21] Available at: https://urn.nsk.hr/urn:nbn:hr:211:496261

T. Belcar, "Metode kreiranja formalnih dokaza", Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, Varaždin, 2009. Available at: https://urn.nsk.hr/urn:nbn:hr:211:496261