Browse wiki
From NLG Systems Wiki
| Expound |
| Description | translates formal poofs into English + |
|---|---|
| Domain | formal proofs + |
| Ended | 1976 + |
| Language | English + |
| Modification dateThis property is a special property in this wiki. | 17 November 2009 13:54:24 + |
| Name | Expound + |
| Started | 1976 + |
| Worker | Chester + |
| Categories | NLG system |
| hide properties that link here |
| Expound + | Name |
|---|
