Towards the structure of mathematical proof

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageUnknown
Title of host publicationCEUR Workshop Proceedings
Pages7
Publication statusPublished - 1 Jan 2014
EventWorkshop and Work in Progress Papers at CICM -
Duration: 1 Jan 2014 → …

Conference

ConferenceWorkshop and Work in Progress Papers at CICM
Period1/01/14 → …

Cite this

Kahle, R. (2014). Towards the structure of mathematical proof. In CEUR Workshop Proceedings (pp. 7)