Rezultati

eNauka >  Rezultati >  Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
Naziv: Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
Autori: Gonzalez, Salwa Tabet; Janicic, Predrag  ; Narboux, Julien
Godina: 2023
Publikacija: Electronic Proceedings in Theoretical Computer Science; Proceedings 14th International Conference on Automated Deduction in Geometry (ADG 2023)
ISSN: 2075-2180 Pretraži identifikator
Tip rezultata: Konferencijski rad
Kolacija: vol. 398 str. 21-37
DOI: 10.4204/EPTCS.398.6
WoS-ID: 001167498600006
Scopus-ID: 2-s2.0-85184136367
URI: https://enauka.gov.rs/handle/123456789/904655
Projekat: European Cost project [CA20111]
Ministry of Science of Serbia [451-03-47/2023-01/200104]
Izvor metapodataka: (Preuzeto iz Nasi u WoS)
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

3
SCOPUSTM
3
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.