| Art der Veröffentlichung: |
Artikel in Sammlung |
| Autor: |
Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer |
| Herausgeber: |
Michael Kohlhase |
| Titel: |
Maya: Maintaining Structured Developments |
| Buch / Sammlungs-Titel: |
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] |
| Band: |
4180 |
| Seite(n): |
281 – 285 |
| Serie / Reihe: |
Lecture Notes in Artificial Intelligence |
| Erscheinungsjahr: |
2006 |
| Verleger: |
Springer |
| Internet: |
dx.doi.org/10.1007/11826095_30 |
| Status: |
Other |
| Letzte Aktualisierung: |
08. 01. 2010 |
