System Name
Expound
 B2Z list of NLG systems
System Builders Chester
Development Dates 1976
Languages English
URL (if available)
who's who

Description:

translates formal poofs into English

References

Main reference

D. Chester.
The Translation of Formal Proofs into English.
Artificial Intelligence, 7(3):261--278, Fall 1976.

Information last updated: 20.06.2000 (dd.mm.yy)
Page last generated: 25-1-2009 21:01:38