dblp.uni-trier.de www.uni-trier.de

4. MKM 2005: Bremen, Germany

Michael Kohlhase (Ed.): Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3863 Springer 2006, ISBN 3-540-31430-X CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Foundations

Authoring

Representations

Proving

MKManagement Tools

Documents

MKM Case Studies

Course Materials

Migration

Copyright © Mon Nov 2 20:58:59 2009 by Michael Ley (ley@uni-trier.de)