Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/2633| Title: | Formalizing complex plane geometry | Authors: | Marić, Filip Simić, Danijela |
Affiliations: | Informatics and Computer Science Informatics and Computer Science |
Issue Date: | 2014 | Rank: | M22 | Publisher: | Springer | Journal: | Annals of Mathematics and Artificial Intelligence | URI: | https://research.matf.bg.ac.rs/handle/123456789/2633 | DOI: | 10.1007/s10472-014-9436-4 |
| Appears in Collections: | Research outputs |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.