еНаука - преглед
Преглед према Пројекат COST action [CA20111]
Приказ резултата 1 до 2 од 2
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2025 | Proving correctness of the query containment solver SpeCS using SPARQL set semantics | Spasic, Mirko D   ; Vujosevic-Janicic, Milena | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2025 | Towards automated proving in solid geometry | Simic, Danijela; Stojanovic-Djurdjevic, Sana; Tanasijevic, Ivana | Научни чланак | 22M22 - Међународни часопис категорије M22 |