Media type: Book Title: Subsumption checking in knowledge bases Contributor: Staudt, Martin [Author]; Thadden, Kai von [Author] imprint: Aachen: Techn. Univ., Fachgruppe Informatik, 1995 Published in: Aachener Informatik-Berichte ; 199511 Extent: 28 S Language: English RVK notation: SS 4080 : Aachener Informatik-Berichte Keywords: Forschungsbericht ; Bericht Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 95 8 80724 001 Item ID: 10010881 Status: Loanable, place order > Ordering possible ‒ please log in