Резултати

еНаука >  Резултати >  Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points
Назив: Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points
Аутори: Marić, Filip  
Година: 2019
Публикација: Journal of Automated Reasoning
ISSN: 0168-7433 Journal of Automated Reasoning Претражи идентификатор
Издавач: Springer
Тип резултата: Научни чланак
Колација: 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
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
22M22 - Међународни часопис категорије M22

12
SCOPUSTM
4
OpenCitations
7
WEB OF SCIENCETM
Алт метрика
Dimensions
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.