h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Pantsar, Markus
TI  - How to Recognize Artificial Mathematical Intelligence in Theorem Proving
JO  - Topoi : an international review of philosophy
SN  - 1572-8749
CY  - Dordrecht [u.a.]
PB  - Springer Science + Business Media B.V
M1  - RWTH-2025-01337
SP  - 14 Seiten
PY  - 2025
N1  - Published: 29 January 2025
LB  - PUB:(DE-HGF)16
UR  - <Go to ISI:>//WOS:001408450800001
DO  - DOI:10.1007/s11245-025-10164-w
UR  - https://publications.rwth-aachen.de/record/1004280
ER  -