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