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/5f00694a-00d0-4311-84ad-00fd0a341e17