Konferenzartikel

[1]	Thomas Kolbe, Sabine Glesner, Many-Sorted Logic in a Learning Theorem Prover, Proceedings of the 21st German Annual Conference on Artificial Intelligence (KI '97), Springer Verlag, Lecture Notes in Computer Science, September 1997.

Autoren

Alumni Prof. Sabine Glesner

Partner Dr. Thomas Kolbe