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