PROVERB : Verbalizing Proofs
DFKI Workshop on Natural Language Generation : Wednesday, April 23, 1997 ; Bananensaal, Raum 1.01, DFKI Saarbrücken. Saarbrücken. 1997 S. 35 - 41
Erscheinungsjahr: 1997
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft: | Bibliothek |
Klassifikation
DFG Fachgebiet:
4.43 - Informatik
DDC Sachgruppe:
Mathematik
