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
Retrieved from "http://www.nlg-wiki.org/systems/Expound"
Facts about ExpoundRDF feed
Descriptiontranslates formal poofs into English  +
Domainformal proofs  +
Ended1976  +
LanguageEnglish  +
NameExpound  +
Started1976  +
WorkerChester  +
Personal tools