Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/1367
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kovács, Zoltán | en_US |
dc.contributor.author | Janičić, Predrag | en_US |
dc.date.accessioned | 2024-10-22T14:57:54Z | - |
dc.date.available | 2024-10-22T14:57:54Z | - |
dc.date.issued | 2023-12-01 | - |
dc.identifier.issn | 10122443 | - |
dc.identifier.uri | https://research.matf.bg.ac.rs/handle/123456789/1367 | - |
dc.description | : This version of the article has been accepted for publication, after peer review (when applicable) but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: <a href="https://dx.doi.org/10.1007/s10472-023-09909-3">https://dx.doi.org/10.1007/s10472-023-09909-3</a> | en_US |
dc.language.iso | en | en_US |
dc.publisher | Springer | en_US |
dc.relation.ispartof | Annals of Mathematics and Artificial Intelligence | en_US |
dc.title | Formalization of geometry, automated and interactive geometric reasoning | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1007/s10472-023-09909-3 | - |
dc.identifier.scopus | 2-s2.0-85175812217 | - |
dc.identifier.isi | 001099918100001 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/85175812217 | - |
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 | 751 | en_US |
dc.relation.lastpage | 752 | en_US |
dc.relation.volume | 91 | en_US |
dc.relation.issue | 6 | en_US |
item.fulltext | With Fulltext | - |
item.languageiso639-1 | en | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | restricted | - |
item.openairetype | Article | - |
crisitem.author.dept | Informatics and Computer Science | - |
crisitem.author.orcid | 0000-0001-8922-4948 | - |
Appears in Collections: | Research outputs |
Files in This Item:
File | Description | Size | Format | Existing users please |
---|---|---|---|---|
s10472-023-09909-3.pdf | 146.53 kB | Adobe PDF | Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.