Резултати

еНаука >  Резултати >  Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
Назив: Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
Аутори: Marinković, Vesna  ; Janičić, Predrag  ; Schreck, Pascal
Година: 2015
Публикација: AUTOMATED DEDUCTION IN GEOMETRY
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Претражи идентификатор
Тип резултата: Конференцијски рад
ISBN: 978-3-319-21361-3 Претражи идентификатор
Колација: vol. 9201 str. 72-93
DOI: 10.1007/978-3-319-21362-0_5
WoS-ID: 000363954600005
Scopus-ID: 2-s2.0-84947234481
URI: https://enauka.gov.rs/handle/123456789/521114
Извор метаподатака: Migracija
М-категорија: 
Мп категорија ће бити приказана накнадно.

6
SCOPUSTM
3
OpenCitations
3
WEB OF SCIENCETM
Алт метрика
Dimensions
Unpaywall

Google ScholarTM

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