Extending MKM Formats at the Statement Level : Mathematical knowledge management 2012
In: LECTURE NOTES IN COMPUTER SCIENCE (7362):65-80; (2012) 7362, S. 65-80
Konferenz
Zugriff:
Titel: |
Extending MKM Formats at the Statement Level : Mathematical knowledge management 2012
|
---|---|
Autor/in / Beteiligte Person: | Horozal, F. ; Kohlhase, M. ; Rabe, F. |
Link: | |
Quelle: | LECTURE NOTES IN COMPUTER SCIENCE (7362):65-80; (2012) 7362, S. 65-80 |
Veröffentlichung: | 2012 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|