Reasoning Services: Tableau-Beweiser für Beschreibungslogiken:Poster

Link:
Autor/in:
Erscheinungsjahr:
2006
Medientyp:
Text
Beschreibung:
  • Auf einer internen Studierendenveranstaltung (zu durchgeführten Projekten an der UHH) präsentiertes Poster zur gleichnamigen Veranstaltung 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/3408832a-f2c2-45ea-93ae-9a6dcf3de7e1