On the difficulty of discovering mathematical proofs

Andrew Arana, Will Stafford

Research output: Contribution to journalArticle (Academic Journal)peer-review

Original languageUndefined/Unknown
JournalSynthese
DOIs
Publication statusPublished - 20 Jul 2023

Cite this