From NLG Systems Wiki
[edit] Summary
- System Name: Expound
- Short Description: translates formal poofs into English
- System Builders: Chester[1]
- Development Period: 1976–1976
- Languages: English
- Domain: formal proofs
Description
translates formal proofs into English
References
- ↑ Chester, D. (1976). The Translation of Formal Proofs into English. Artificial Intelligence, 7(3), 261. Bib