Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/2772| Title: | Formalizing Analytic Geometries | Authors: | Marić, Filip Simić, Danijela |
Affiliations: | Informatics and Computer Science Informatics and Computer Science |
Issue Date: | 2012 | Rank: | М30 | Publisher: | Edinburgh : | Related Publication(s): | 9th International Workshop on Automated Deduction in Geometry | Conference: | International Workshop on Automated Deduction in Geometry (9 ; 2012 ; Edinburgh) | URI: | https://research.matf.bg.ac.rs/handle/123456789/2772 |
| Appears in Collections: | Research outputs |
Show full item record
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.