Reasoning Services: Tableau-Beweiser für Beschreibungslogiken:Projekt (Einführungsfolien)
- Link:
- Autor/in:
- Erscheinungsjahr:
- 2006
- Medientyp:
- Text
- Beschreibung:
-
- Einführungsfolien zu einem Projektpraktikum am Fachbereich Informatik der UHH im Wintersemester 2006/2007.
- Lizenz:
-
- info:eu-repo/semantics/openAccess
- Quellsystem:
- Forschungsinformationssystem der UHH
Interne Metadaten
- Quelldatensatz
- oai:www.edit.fis.uni-hamburg.de:publications/0985943d-3d9c-43b0-bdd4-1b6ec253dc92