Results
Title: | Formalni sistemi za dokazivanje teorema incidencije | Other Titles: | Formal systems for proving incidence results | Authors: | Milićević, Marina | Supervisor: | Petrić, Zoran ; Baralić, Đorđe | Other contributors: | Gilezan, Silvia ; Janičić, Predrag ; Doroslovački, Ksenija ; Petrić, Zoran ; Baralić, Đorđe | Issue Date: | 2020 | Publication: | Универзитет у Новом Саду | Publisher: | Универзитет у Новом Саду, Факултет техничких наука | Type: | Doctoral theses | URI: | https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija159480060455857.pdf?controlNumber=(BISIS)114829&fileName=159480060455857.pdf&id=16102&source=NaRDuS&language=sr https://www.cris.uns.ac.rs/record.jsf?recordId=114829&source=NaRDuS&language=sr https://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije159480061237421.pdf?controlNumber=(BISIS)114829&fileName=159480061237421.pdf&id=16103&source=NaRDuS&language=sr https://nardus.mpn.gov.rs/handle/123456789/17976 https://enauka.gov.rs/handle/123456789/258755 |
M-category: | 70M70 |