research
Modelling the way mathematics is actually done
- Authors
- Alexander Christopher
- Austin John Langshaw
- Barr Avron
- Barthélémy Jean-Hugues
- Budzynska Katarzyna
- Budzynska Katarzyna
- Carnap Rudolf
- Corneli Joseph
- Cramer Marcos
- Cramer Marcos
- Ganesalingam M.
- Ginev Deyan
- Guckelsberger Christian
- Hermann Karl Moritz
- Jamnik Mateja
- Kaliszyk Cezary
- Lamport Leslie
- Nesin Gabriela Rino
- Pease Alison
- Peirce Charles S.
- Pólya G.
- Schank Roger C
- Sowa John F
- Sowa John F
- Thomas Hales
- Zhang Amy X
- Publication date
- 1 January 2017
- Publisher
- 'Association for Computing Machinery (ACM)'
- Doi
Abstract
Abstract is not available.Similar works
Available Versions
Last time updated on 14/03/2019
Last time updated on 18/03/2023