eNauka - pregled
Pregled prema Autor Stojanović-Đurđević, Sana
Prikaz rezultata 1 do 7 od 7
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2011 | A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs | Stojanović Đurđević, Sana   ; Marinković, Vesna ; Janičić, Predrag | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2014 | A Vernacular for Coherent Logic | Stojanović Đurđević, Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry | Ðurđević, Sana Stojanović ; Narboux, Julien; Janičić, Predrag | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2016 | Automatsko proveravanje neformalnih dokaza teorema srednjoškolske geometrije | Stojanović Đurđević, Sana | Naučni članak | 52M52 - Nacionalni časopis kategorije M52 |
| 2019 | From informal to formal proofs in Euclidean geometry | Stojanović Đurđević, Sana | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2013 | Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs | Stojanović Đurđević, Sana | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2020 | Teaching 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; | Article | 21M21 |