author = { Quaresma, Pedro AND Graziani, Pierluigi AND Nicoletti, Stefano M. },

title = { Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry },

publisher = {Open Publishing Association},

isbn = {2075-2180},

keywords = { General Earth and Planetary Sciences , General Engineering , General Environmental Science },

year = {2024},

url = { http://slubdd.de/katalog?TN_libero_mab2 }