Publikationen

In: A. König , et. al. (Hrsg.). Knowledge-Based and Intelligent Information and Engineering Systems, Part IV. International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES-2011) September 12-14 Kaiserslautern Germany Seiten 126-135 LNAI 6884 Springer 9/2011.

Zur Publikation

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