Rezultati
Naziv: | Sistem za automatsko dokazivanje nekih klasa analitičkih nejednakosti | Ostali nazivi: | System for automatic proving of some classes of analytic inequalities | Autori: | Banjac, Bojan | Mentor: | Malešević, Branko | Ostala autorstva: | Lutovac, Tatjana ; Janičić, Predrag ; Protić, Jelica ; Obradović, Ratko | Godina: | 2019 | Publikacija: | Универзитет у Београду | Izdavač: | Универзитет у Београду, Електротехнички факултет | Tip rezultata: | Doktorska disertacija | VBS COBISS: | 51815695 | URI: | http://eteze.bg.ac.rs/application/showtheses?thesesId=7679 https://fedorabg.bg.ac.rs/fedora/get/o:22866/bdef:Content/download https://nardus.mpn.gov.rs/handle/123456789/17576 https://enauka.gov.rs/handle/123456789/381196 |
M-kategorija: | 70M70 - Odbranjena doktorska disertacija |