Резултати
Назив: | Automated Proving Mixed Trigonometric Polynomial Inequalities | Аутори: | Malešević, Branko J. ; Banjac,Bojan | Година: | 2019 | Публикација: | Proceedings of 27th TELFOR conference | Издавач: | Beograd, Srbija | Тип резултата: | Конференцијски рад | ISBN: | 978-172814789-5 ИСБН није валидан Претражи идентификатор | Колација: | str. 608-609 | DOI: | 10.1109/TELFOR48224.2019.8971254 | WoS-ID: | 000568618700141 | Scopus-ID: | 2-s2.0-85079332167 | URI: | http://zaposleni.etf.bg.ac.rs/rest/sciNaucniRezultati/oai/record/3/708441 https://enauka.gov.rs/handle/123456789/315668 https://ieeexplore.ieee.org/abstract/document/8971254 |
URL: | https://ieeexplore.ieee.org/abstract/document/8971254 | Извор метаподатака: | Migracija | Напомена: | Verifikacija rada izvršena na osnovu nepotpunog uvida u rad. | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.