Истраживачи
Marinković, Vesna
Резултати 21-23 од 23
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2015 | Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems | Marinković, Vesna   ; Janičić, Predrag ; Schreck, Pascal | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Towards Understanding Triangle Construction Problems | Marinković, Vesna ; Janičić, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2011 | A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs | Stojanović Đurđević, Sana ; Marinković, Vesna ; Janičić, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |