Tallenna
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.
- Alaotsikko
- 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
- Toimittaja
- Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
- Painos
- 2007 ed.
- ISBN
- 9783540730835
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 19.6.2007
- Sivumäärä
- 410
