Publikation

Organisation, Transformation, and Propagation of Mathematical Knowledge in OMEGA

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner

In: Mathematics in Computer Science Online First Birkhäuser 2008.

Projekte

MCS09.pdf (pdf, 346 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence