Browsing eNauka
Browsing by Author Narbu, Žilijen
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2016 | Формализација и аутоматско доказивање теорема еуклидске геометрије | Stojanović, Sana | Doctoral theses | 70M70 |