4. MKM 2005: Bremen, Germany

Foundations

Authoring

Representations

Proving

MKManagement Tools

Documents

MKM Case Studies

Course Materials

Migration

a service of Schloss Dagstuhl - Leibniz Center for Informatics