Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: dcs=006.3*



Treffer 173 von 610 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1034315188
Art des Inhalts Hochschulschrift
Titel Scaling Up Description Logic Reasoning by Distributed Resolution / Anne Schlicht. Betreuer: Heiner Stuckenschmidt
Person(en) Schlicht, Anne (Verfasser)
Stuckenschmidt, Heiner (Akademischer Betreuer)
Verlag Mannheim : Universitätsbibliothek Mannheim
Zeitliche Einordnung Erscheinungsdatum: 2012
Umfang/Format Online-Ressource
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Schlicht, Anne: Scaling up description logic reasoning by distributed resolution
Hochschulschrift Mannheim, Universität Mannheim, Diss., 2012
Persistent Identifier URN: urn:nbn:de:bsz:180-madoc-313655
URL https://ub-madoc.bib.uni-mannheim.de/31365 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Automatisches Beweisverfahren ; Paralleler Algorithmus ; Wissensverarbeitung
DDC-Notation 006.332 [DDC22ger]
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 173 von 610
< < > <


E-Mail-IconAdministration