Browsing eNauka
Browsing by Author Tanasijevic, Ivana
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2025 | Towards automated proving in solid geometry | Simic, Danijela; Stojanovic-Djurdjevic, Sana; Tanasijevic, Ivana | Article | 22M22 |