On the difficulty of discovering mathematical proofs

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
1 Online-Ressource.
Sprache
Englisch

Erschienen in
On the difficulty of discovering mathematical proofs ; volume:202 ; number:2 ; day:20 ; month:7 ; year:2023 ; pages:1-29 ; date:8.2023
Synthese ; 202, Heft 2 (20.7.2023), 1-29, 8.2023

Urheber
Arana, Andrew
Stafford, Will
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s11229-023-04184-5
URN
urn:nbn:de:101:1-2023121312002595027422
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:24 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Arana, Andrew
  • Stafford, Will
  • SpringerLink (Online service)

Ähnliche Objekte (12)