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:
Informatik
DDC Sachgruppe:
Mathematik
