Artikel
Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA
Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Marc Wagner
In: Mathematics in Computer Science, Special Issue on Mathematical Knowledge Management. Vol. Online First, Pages o.A-o.A. Birkhäuser, 2008.