Spar
Towards Mechanized Mathematical Assistants
MKM 2007 was the sixth International Conference on Mathematical Knowledge Management, an emerging interdisciplinary ?eld of research in the intersection of mathematics, computer science, library s- ence, and scienti?c publishing.
- Undertittel
- 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
- Opplag
- 2007 ed.
- ISBN
- 9783540730835
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 19.6.2007
- Antall sider
- 410
