Automatsko proveravanje neformalnih dokaza teorema srednjoskolske geometrije
Naučni rad 'Automatsko proveravanje neformalnih dokaza teorema srednjoskolske geometrije' autora Sana Stojanovic Djurdjevic, objavljen u časopisu Info M, sveska 58 (2016).
Sana Stojanovic Djurdjevic
Fokusiran na razvoj savremenih rešenja i akademski rad u domenu istraživač u oblasti informacionih sistema. Objavio je 1 radova koji doprinose razumevanju oblasti sa posebnim fokusom na teme kao što su automatsko.