Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions
- Link:
- Autor/in:
- Erscheinungsjahr:
- 2001
- Medientyp:
- Text
- Lizenz:
-
- info:eu-repo/semantics/openAccess
- Quellsystem:
- Forschungsinformationssystem der UHH
Interne Metadaten
- Quelldatensatz
- oai:www.edit.fis.uni-hamburg.de:publications/47d91a8c-b6d3-4588-93ab-7625941b3d65