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