Søkte etter:

2 treff
Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers
International Conference on Mathematical Knowledge Management
Bok Engelsk 2006
OMDoc - an open markup format for mathematical documents : (version 1.2)
Michael Kohlhase ; foreword by Alan Bundy...
Bok Engelsk 2006