LATPub23: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
Zeile 9: | Zeile 9: | ||
|Year=1991 | |Year=1991 | ||
|Month= | |Month= | ||
|Booktitle=Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, | |Booktitle=Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, KR-91 | ||
|Editor= | |Editor= | ||
|Note= | |Note= | ||
|Organization= | |Organization= | ||
|Pages=335 | |Pages=335-346 | ||
|Publisher= | |Publisher= | ||
|Series= | |Series= |
Version vom 20. März 2015, 16:28 Uhr
Qualifying Number Restrictions in Concept Languages
B. HollunderB. Hollunder, F. BaaderF. Baader

B. Hollunder, F. Baader
Qualifying Number Restrictions in Concept Languages
Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, KR-91, 335-346, 1991
Qualifying Number Restrictions in Concept Languages
Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, KR-91, 335-346, 1991
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ HollunderBaader-KR-91,
address = {Boston (USA)},
author = {B. {Hollunder} and F. {Baader}},
booktitle = {Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, {KR}-91},
pages = {335--346},
title = {Qualifying Number Restrictions in Concept Languages},
year = {1991},
}