Autori: Pavlovic Vesna N
| 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 | ISI/Web of Science Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
