System Name
B2Z list of NLG systems
System Builders Edgar, Pelletier
Development Dates 1993
Languages English
URL (if available)
who's who


explanation of natural deduction proofs


Main reference

A. Edgar and F.J. Pelletier.
Natural language explanation of natural deduction proofs.
In Proceedings of the First Conference of the Pacific Association for Computational Linguistics, Simon Fraser University, 1993.

Information last updated: 20.06.2000 (
Page last generated: 25-1-2009 21:01:39