direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Many-Sorted Logic in a Learning Theorem Prover
Citation key kolbe97many-sorted
Author Thomas Kolbe and Sabine Glesner
Title of Book Proceedings of the 21st German Annual Conference on Artificial Intelligence (KI'97)
Pages 75-86
Year 1997
Address Freiburg, Germany
Volume vol. 1303
Month Sep
Editor Springer Verlag
Publisher Springer Verlag, Lecture Notes in Computer Science
Bibtex Type of Publication Conference Article
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe