Article Dans Une Revue
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Année : 2019
Lutz Straßburger : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02475417
Soumis le : mercredi 12 février 2020-09:12:06
Dernière modification le : mercredi 30 octobre 2024-19:42:45
Citer
Lutz Strassburger. The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2019, 377 (2140), pp.20180038. ⟨10.1098/rsta.2018.0038⟩. ⟨hal-02475417⟩
Collections
33
Consultations
0
Téléchargements