Autori: Stojanovic Sana N
| Naslov | A Vernacular for Coherent Logic (Proceedings Paper) |
| Autori | Stojanovic Sana N Narboux Julien Bezem Marc Janicic Predrag 
|
| Info | INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, (2014), vol. 8543 br. , str. 388-403 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
     |
| Naslov | Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs (Proceedings Paper) |
| Autori | Stojanovic Sana N |
| Info | AUTOMATED DEDUCTION IN GEOMETRY: 9TH INTERNATIONAL WORKSHOP, (2013), vol. 7993 br. , str. 181-192 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Proceedings Paper) |
| Autori | Stojanovic Sana N Pavlovic Vesna N Janicic Predrag
|
| Info | AUTOMATED DEDUCTION IN GEOMETRY, (2011), vol. 6877 br. , str. 201-220 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
