Istraživači

eNauka > Istraživači > Stojanović-Đurđević, Sana

Stojanović Đurđević, Sana

Tip

Godina

1 2020 - 2027
6 2010 - 2019

Mp-kat.

Godina - raspon

Godina od:

Godina do:

Rezultati 1-7 od 7 Rezultati/stranica

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
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;	Naučni članak	21M21 - Vodeći međunarodni časopis kategorije M21
2019	From informal to formal proofs in Euclidean geometry	Stojanović Đurđević, Sana	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
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
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.
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.
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.