Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
Kauers, Manuel; Kerber, Manfred; Miner, Robert; Windsteiger, Wolfgang (Hrsg). Towards Mechanized Mathematical Assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings. Berlin: Springer 2007 S. 176 - 190 (Lecture Notes in Computer Science book series (LNCS) ; 4573)
Erscheinungsjahr: 2007
ISBN/ISSN: 978-3-540-73083-5
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-540-73086-6_16
| Geprüft | Bibliothek |
Inhaltszusammenfassung
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Mathematik
