Skip to main content Skip to main navigation

Project

Mentor-2

Mentor

Mentor

  • Duration:

Publications about the project

Andreas Meier; Erica Melis

In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International Conference on Mathematical Knowledge Management (MKM), Bremen, Pages 143-158, LNAI, Vol. 3863, Springer Verlag, Berlin, Germany, 2006.

To the publication

Martin Homik; Andreas Meier

In: Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005). Workshop on User Interfaces for Theorem Provers (UITP), Edinburgh, Pages 160-178, 4/2005.

To the publication

Erica Melis

In: Dieter Hutter; Werner Stephan (Hrsg.). Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Pages 364-376, LNCS, Vol. 2605, Springer-Verlag, 2005.

To the publication