TY -
GEN
AU - Schlicht, Anne
AU - Stuckenschmidt, Heiner
TI -
Scaling Up Description Logic Reasoning by Distributed Resolution
PB - Universitätsbibliothek Mannheim
KW - Automatisches Beweisverfahren ; Paralleler Algorithmus ; Wissensverarbeitung
KW - Hochschulschrift
PY - 2012
CY - Mannheim
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -