Proof Verbalization as an Application of NLG.
IJCAI (2). San Francisco, Calif.: Morgan Kaufmann 1997 S. 965 - 972
Erscheinungsjahr: 1997
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Sprache: Englisch
| Geprüft: | Bibliothek |
Klassifikation
DDC Sachgruppe:
Mathematik
