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 | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
     |
