Резултати

еНаука >  Резултати >  Integrating dynamic geometry software, deduction systems, and theorem repositories
Назив: Integrating dynamic geometry software, deduction systems, and theorem repositories
Аутори: Quaresma, Pedro; Janicic, Predrag  
Година: 2006
Публикација: Lecture Notes in Computer Science, Mathematical Knowledge Management, Proceedings
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Претражи идентификатор
Издавач: Springer
Тип резултата: Научни чланак
Колација: vol. 4108 str. 280-294
DOI: 10.1007/11812289_22
WoS-ID: 000239954600021
Scopus-ID: 2-s2.0-33749546527
VBS COBISS: 1026506933
URI: https://enauka.gov.rs/handle/123456789/818947
https://plus.cobiss.net/cobiss/sr/sr/bib/1026506933#izum.si
Извор метаподатака: (Preuzeto iz Nasi u WoS)
М-категорија: 
23M23 - Међународни часопис категорије M23

Алт метрика
Dimensions
Unpaywall

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