KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA443989

Many-sorted logic in a learning theorem prover

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



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

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