Autori: Schreck Pascal
| Naslov | Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Proceedings Paper) |
| Autori | Marinkovic Vesna Janicic Predrag Schreck Pascal |
| Info | AUTOMATED DEDUCTION IN GEOMETRY, (2015), vol. 9201 br. , str. 72-93 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
