Pubblicazioni

Mathematical proofs and scientific discovery

2020 - A Critical Reflection on Automated Science
Sterpetti, F.

Reconnecting Logic with Discovery

2020 - TOPOI
Cellucci, Carlo

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma