h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Pantsar, Markus
%T How to Recognize Artificial Mathematical Intelligence in Theorem Proving
%J Topoi : an international review of philosophy
%@ 1572-8749
%C Dordrecht [u.a.]
%I Springer Science + Business Media B.V
%M RWTH-2025-01337
%P 14 Seiten
%D 2025
%Z Published: 29 January 2025
%F PUB:(DE-HGF)16
%9 Journal Article
%U <Go to ISI:>//WOS:001408450800001
%R 10.1007/s11245-025-10164-w
%U https://publications.rwth-aachen.de/record/1004280