Media type: E-Book; Thesis Title: Scaling Up Description Logic Reasoning by Distributed Resolution Contributor: Schlicht, Anne [Verfasser]; Stuckenschmidt, Heiner [Akademischer Betreuer] imprint: Mannheim: Universitätsbibliothek Mannheim, 2012 Extent: Online-Ressource Language: English Identifier: Keywords: Automatisches Beweisverfahren ; Paralleler Algorithmus ; Wissensverarbeitung ; Hochschulschrift Origination: University thesis: Mannheim, Universität Mannheim, Diss., 2012 Footnote: Access State: Open Access