KIT | KIT-Bibliothek | Impressum | Datenschutz

Many-sorted logic in a learning theorem prover

Kolbe, Thomas; Glesner, SabineIn: KI-97: Advances in artificial intelligence

Open Access Logo


Volltext §
DOI: 10.5445/IR/44398
Seitenaufrufe: 5
seit 15.05.2018
Downloads: 154
seit 26.06.2009
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buchaufsatz
Jahr 1997
Sprache Englisch
Identifikator ISBN: 978-3-540-63493-5
urn:nbn:de:swb:90-AAA443989
KITopen-ID: 44398
Erschienen in KI-97. Advances in artificial intelligence. Ed.: G. Brewka
Verlag Springer, Berlin
Serie Lecture notes in computer science ; 1303
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page