Proof Verbalization as an Application of NLG
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997. San Francisco, Calif.: Morgan Kaufmann 1997 S. 965 - 972
Erscheinungsjahr: 1997
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
Klassifikation
DDC Sachgruppe:
Mathematik
