11. AISC / 11. MKM / 19. Calculemus 2012: Bremen, Germany

Mathematical Knowledge Management 2012

Calculemus 2012

Artificial Intelligence and Symbolic Computation 2012

Digital Mathematics Libraries 2012

Systems and Projects 2012

maintained by Schloss Dagstuhl LZI, founded at University of Trier