Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
Quaresma, Pedro
;Graziani, Pierluigi;Nicoletti, Stefano M.
2024
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.