Many-Sorted Logic in a Learning Theorem Prover
»
Home
»
Mitarbeiter
»
Kerngebiete
»
Projekte
»
Abgeschlossen
»
Veröffentlichungen
»
Details
»
Software
»
Lehre
»
Student. Arbeiten
»
Impressum
»
Lageplan
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
»
Fakultät
»
FZI PROST
»
Prof. Assmann
»
Prof. Glesner
»
Prof. Hack
»
Prof. Löwe
»
Prof. Snelting
»
Prof. Zimmermann
»
Universität