еНаука - преглед
Преглед према Аутор Narbu, Žilijen
Приказ резултата 1 до 1 од 1
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2016 | Формализација и аутоматско доказивање теорема еуклидске геометрије | Stojanović, Sana | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |