Истраживачи

Резултати 21-23 од 23
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2015On-line compendium of triangle construction problems with automatically generated solutionsMarinković Pavlović, Vesna  Научни чланак
Мп категорија ће бити приказана накнадно.
2012Towards Understanding Triangle Construction ProblemsMarinković, Vesna  ; Janičić, Predrag  Научни чланак
Мп категорија ће бити приказана накнадно.
2011A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable ProofsStojanović Đurđević, Sana  ; Marinković, Vesna  ; Janičić, Predrag  Научни чланак
Мп категорија ће бити приказана накнадно.