direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Many-Sorted Logic in a Learning Theorem Prover
Zitatschlüssel kolbe97many-sorted
Autor Thomas Kolbe and Sabine Glesner
Buchtitel Proceedings of the 21st German Annual Conference on Artificial Intelligence (KI'97)
Seiten 75-86
Jahr 1997
Adresse Freiburg, Germany
Jahrgang vol. 1303
Monat Sep
Herausgeber Springer Verlag
Verlag Springer Verlag, Lecture Notes in Computer Science
Typ der Publikation Conference Article
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe