Istraživači

Rezultati 21-23 od 23
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2015On-line compendium of triangle construction problems with automatically generated solutionsMarinković Pavlović, Vesna  Naučni članak
Mp kategorija će biti prikazana naknadno.
2012Towards Understanding Triangle Construction ProblemsMarinković, Vesna  ; Janičić, Predrag  Naučni članak
Mp kategorija će biti prikazana naknadno.
2011A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable ProofsStojanović Đurđević, Sana  ; Marinković, Vesna  ; Janičić, Predrag  Naučni članak
Mp kategorija će biti prikazana naknadno.