Natural Language Proof Explanation
Hutter, Dieter; Stephan, Werner (Hrsg). Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Berlin: Springer 2005 S. 342 - 363 (Lecture Notes in Computer Science (LNCS) ; 2605 / Lecture Notes in Artificial Intelligence (LNAI) ; 2605)
Erscheinungsjahr: 2005
ISBN/ISSN: 9783540250517
Publikationstyp: Buchbeitrag
Sprache: Englisch
Doi/URN: 10.1007/978-3-540-32254-2_20
| Geprüft | Bibliothek |
Inhaltszusammenfassung
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Mathematik
