1. Research with MATF
  2. Research Outputs

Browsing by Author Stojanović-Đurđević. Sana

Showing results 1 to 3 of 3
Issue DateTitleAuthor(s)Rank
1-Aug-2015Automated generation of machine verifiable and readable proofs: A case study of tarski’s geometryStojanović-Đurđević. Sana ; Narboux, Julien; Janičić, Predrag 
25-Nov-2011A coherent logic based geometry theorem prover capable of producing formal and readable proofsStojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag 
1-Jan-2020Teaching graduate students how to review research articles and respond to reviewer commentsBanković, 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
Showing results 1 to 3 of 3