Textbook Proofs Meet Formal Logic : The Problem of Underspecification and Granularity
Kohlhase, Michael (Hrsg). Mathematical Knowledge Management : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers. Berlin: Springer 2006 S. 96 - 110 (Lecture Notes in Computer Science (LNCS) ; 3863 / Lecture Notes in Artificial Intelligence (LNAI) ; 3863)
Erscheinungsjahr: 2006
ISBN/ISSN: 978-3-540-31430-1
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/11618027_7
| Geprüft | Bibliothek |
Inhaltszusammenfassung
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Mathematik
