Rezultati

eNauka >  Rezultati >  Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points
Naziv: Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points
Autori: Marić, Filip  
Godina: 2019
Publikacija: Journal of Automated Reasoning
ISSN: 0168-7433 Journal of Automated Reasoning Pretraži identifikator
Izdavač: Springer
Tip rezultata: Naučni članak
Kolacija: vol. 62 br. 3 str. 301-329
DOI: 10.1007/s10817-017-9423-7
WoS-ID: 000458653000001
Scopus-ID: 2-s2.0-85028958354
URI: https://enauka.gov.rs/handle/123456789/344664
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
22M22 - Međunarodni časopis kategorije M22

12
SCOPUSTM
4
OpenCitations
7
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

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