Project

Mentor-2

Mentor

  • Duration:

Share project:

Publications about the project

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

To the publication

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

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

To the publication

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