eNauka - pregled
Pregled prema Projekat COST action [CA20111]
Prikaz rezultata 1 do 2 od 2
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2025 | Proving correctness of the query containment solver SpeCS using SPARQL set semantics | Spasic, Mirko D   ; Vujosevic-Janicic, Milena | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2025 | Towards automated proving in solid geometry | Simic, Danijela; Stojanovic-Djurdjevic, Sana; Tanasijevic, Ivana | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |