Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/2633
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Marić, Filip | en_US |
dc.contributor.author | Simić, Danijela | en_US |
dc.date.accessioned | 2025-09-23T16:34:28Z | - |
dc.date.available | 2025-09-23T16:34:28Z | - |
dc.date.issued | 2014 | - |
dc.identifier.uri | https://research.matf.bg.ac.rs/handle/123456789/2633 | - |
dc.language.iso | en | en_US |
dc.publisher | Springer | en_US |
dc.relation.ispartof | Annals of Mathematics and Artificial Intelligence | en_US |
dc.title | Formalizing complex plane geometry | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1007/s10472-014-9436-4 | - |
dc.identifier.scopus | 2-s2.0-84943199117 | - |
dc.identifier.isi | 000357420500002 | - |
dc.identifier.url | http://dx.doi.org/10.1007/s10472-014-9436-4 | - |
dc.contributor.affiliation | Informatics and Computer Science | en_US |
dc.contributor.affiliation | Informatics and Computer Science | en_US |
dc.relation.issn | 1012-2443 | en_US |
dc.description.rank | M22 | en_US |
dc.relation.firstpage | 271 | en_US |
dc.relation.lastpage | 308 | en_US |
dc.relation.volume | 74 | en_US |
dc.relation.issue | 3-4 | en_US |
item.languageiso639-1 | en | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | none | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.fulltext | No Fulltext | - |
item.openairetype | Article | - |
crisitem.author.dept | Informatics and Computer Science | - |
crisitem.author.dept | Informatics and Computer Science | - |
crisitem.author.orcid | 0000-0001-7219-6960 | - |
crisitem.author.orcid | 0000-0002-3840-9931 | - |
Appears in Collections: | Research outputs |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.