Резултати

еНаука >  Резултати >  Towards automated proving in solid geometry
Назив: Towards automated proving in solid geometry
Аутори: Simic, Danijela; Stojanovic-Djurdjevic, Sana; Tanasijevic, Ivana
Година: 2025
Публикација: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
ISSN: 1012-2443 Annals of Mathematics and Artificial Intelligence Претражи идентификатор
Тип резултата: Научни чланак
DOI: 10.1007/s10472-025-09975-9
WoS-ID: 001457056200001
Scopus-ID: 2-s2.0-105001521624
URI: https://enauka.gov.rs/handle/123456789/978105
Пројекат: COST action [CA20111]
Извор метаподатака: (Preuzeto iz Nasi u WoS)
М-категорија: 
22M22 - Међународни часопис категорије M22

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

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