Резултати
Назив: | Sistem za automatsko dokazivanje nekih klasa analitičkih nejednakosti | Остали називи: | System for automatic proving of some classes of analytic inequalities | Аутори: | Banjac, Bojan | Ментор: | Malešević, Branko | Остала ауторства: | Lutovac, Tatjana ; Janičić, Predrag ; Protić, Jelica ; Obradović, Ratko | Година: | 2019 | Публикација: | Универзитет у Београду | Издавач: | Универзитет у Београду, Електротехнички факултет | Тип резултата: | Докторска дисертација | 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 |
М-категорија: | 70M70 - Одбрањена докторска дисертација |