Expound

From NLG Systems Wiki

Jump to: navigation, search

[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

  1. Chester, D. (1976). The Translation of Formal Proofs into English. Artificial Intelligence, 7(3), 261. Bib
Facts about ExpoundRDF feed
Descriptiontranslates formal poofs into English  +
Domainformal proofs  +
Ended1976  +
LanguageEnglish  +
NameExpound  +
Started1976  +
WorkerChester  +
Personal tools