Determining and Structuring the Content of Presentations of Proofs in Natural Language
McAllester, David (Hrsg). Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction ; June 17-20, 2000 ; Proceedings. Pittsburgh, PA, USA. 2000 S. 41 - 51 Workshop: Automated Deduction in Education (Melis, Erica)
Erscheinungsjahr: 2000
ISBN/ISSN: 978-3-540-67664-5
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Sprache: Englisch
| Geprüft: | Bibliothek |
Klassifikation
DFG Fachgebiet:
4.43 - Informatik
DDC Sachgruppe:
Mathematik
