Publikationen

In: Christoph Lange , Josef Urban (Hrsg.). Proceedings of the ITP 2011 Workshop on Mathematical Wikis (MathWikis 2011). International Conference on Interactive Theorem Proving (ITP-2011) August 22-25 Nijmegen Netherlands Seiten 19-27 CEUR Workshop Proceedings 767 CEUR-WS.org 8/2011.

Zur Publikation

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