Autori: Gonzalez Salwa Tabet
| Naslov | Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving (Proceedings Paper) |
| Autori | Gonzalez Salwa Tabet Janicic Predrag Narboux Julien |
| Info | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (2023), vol. 398 br. , str. 21-37 |
| Projekat | European Cost project [CA20111]; Ministry of Science of Serbia [451-03-47/2023-01/200104] |
| Ispravka | ISI/Web of Science Članak Elečas |
