eNauka - pregled
Pregled prema Autor Narbu, Žilijen
Prikaz rezultata 1 do 1 od 1
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2016 | Формализација и аутоматско доказивање теорема еуклидске геометрије | Stojanović, Sana | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |