Истраживачи



Филтрирано по:
???jsp.search.filter.citation_category???:  M22
Тип:  Научни чланак

ГодинаНасловАутор(и)Тип резултатаМп-кат.
2020Teaching graduate students how to review research articles and respond to reviewer comments (✓)Banković, Milan  ; Filipović, Vladimir  ; Graovac, Jelena  ; Hadži-Purić, Jelena; Hurson, Ali R.; Kartelj, Aleksandar  ; Kovačević, Jovana  ; Korolija, Nenad  ; Kotlar, Miloš; Krdžavac, Nenad B. ;
Marić, Filip  ; Malkov, Saša  ; Milutinović, Veljko ; Mitić, Nenad  ; Mišković, Stefan  ; Nikolić, Mladen  ; Pavlović Lažetić, Gordana  ; Simić, Danijela  ; Stojanović, Djurdjević Sana  ; Vujičić Stanković, Staša  ; Vujošević, Janičić Milena  ; Živković, Miodrag;
Научни чланак
22M22 - Рад у истакнутом међ. часопису
2019From informal to formal proofs in Euclidean geometry (✓)Stojanović Đurđević, Sana  Научни чланак
22M22 - Рад у истакнутом међ. часопису
2015Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry (✓)Ðurđević, Sana Stojanović  ; Narboux, Julien; Janičić, Predrag  Научни чланак
22M22 - Рад у истакнутом међ. часопису