OMDoc -- an open markup format for mathematical documents [version 1.2] : foreword by Allan Bundy /

Autor Kohlhase, Michael, 1964-
Vydáno 2006

Mathematical knowledge management : 4th International Conference, MKM 2005 : Bremen, Germany, July 15-17, 2005 : revised selected papers /

Vydáno 2006

KI 2006: Advances in Artificial Intelligence : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, proceedings /

Vydáno 2007