Publikationen

In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008) August 22-22 Montreal QC Canada Seiten 3-21 Electronic Notes in Theoretical Computer Science (ENTCS) 226 Elsevier Science 2009.

Zur Publikation

In: Manfred Kerber (Hrsg.). Journal Mathematics in Computer Science 2 2 Seiten 253-277 Birkhäuser 12/2008.

Zur Publikation

In: Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics. Conferences on Intelligent Computer Mathematics (CICM-08) July 31-August 1 Birmingham United Kingdom Seiten 398-414 Lecture Notes in Artificial Intelligence (LNAI) 5144 Springer Berlin, Heidelberg 2008.

Zur Publikation

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