Spara
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.
- Undertitel
- 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
- Upplaga
- 2007 ed.
- ISBN
- 9783540730835
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2007-06-19
- Sidor
- 410
