Browsing eNauka
Browsing by Project COST action [CA20111]
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2025 | Proving correctness of the query containment solver SpeCS using SPARQL set semantics | Spasic, Mirko D   ; Vujosevic-Janicic, Milena | Article | 21M21 |
| 2025 | Towards automated proving in solid geometry | Simic, Danijela; Stojanovic-Djurdjevic, Sana; Tanasijevic, Ivana | Article | 22M22 |