Rezultati

eNauka >  Rezultati >  Automated Proving Mixed Trigonometric Polynomial Inequalities
Naziv: Automated Proving Mixed Trigonometric Polynomial Inequalities
Autori: Malešević, Branko J.  ; Banjac,Bojan  
Godina: 2019
Publikacija: Proceedings of 27th TELFOR conference
Izdavač: Beograd, Srbija
Tip rezultata: Konferencijski rad
ISBN: 978-172814789-5 ИСБН није валидан Pretraži identifikator
Kolacija: 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
Izvor metapodataka: Migracija
Napomena: Verifikacija rada izvršena na osnovu nepotpunog uvida u rad.
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

3
SCOPUSTM
Alt metrika
Dimensions

Pronađi DOI

Unpaywall

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.