Истраживачи
Stojanović Đurđević, Sana
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2020 | Teaching graduate students how to review research articles and respond to reviewer comments (✓) | Banković, Milan ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2019 | From informal to formal proofs in Euclidean geometry (✓) | Stojanović Đurđević, Sana ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2015 | Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry (✓) | Ðurđević, Sana Stojanović ![]() ![]() ![]() ![]() | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |