Universitšt Karlsruhe
Many-Sorted Logic in a Learning Theorem Prover

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.

[Erzeuge bibTeX Eintrag]

Autoren

Alumni
Prof. Sabine Glesner
Partner
Dr. Thomas Kolbe
Login
Links