A natural language explanation for formal proofs
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 149-167
- https://doi.org/10.1007/bfb0052156
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Type theory and the informal language of mathematicsPublished by Springer Nature ,1994
- The translation of formal proofs into EnglishArtificial Intelligence, 1976