Резултати

eNauka >  Results >  Towards automated proving in solid geometry
Title: Towards automated proving in solid geometry
Authors: Simic, Danijela; Stojanovic-Djurdjevic, Sana; Tanasijevic, Ivana
Issue Date: 2025
Publication: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
ISSN: 1012-2443 Annals of Mathematics and Artificial Intelligence Search Idenfier
Type: Article
DOI: 10.1007/s10472-025-09975-9
WoS-ID: 001457056200001
Scopus-ID: 2-s2.0-105001521624
URI: https://enauka.gov.rs/handle/123456789/978105
Project: COST action [CA20111]
Metadata source: (Preuzeto iz Nasi u WoS)
M-category: 
22M22

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

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