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 2: | Zeile 2: | ||
|ErsterAutorVorname=B. | |ErsterAutorVorname=B. | ||
|ErsterAutorNachname=Hollunder | |ErsterAutorNachname=Hollunder | ||
|FurtherAuthors= | |FurtherAuthors=Franz Baader | ||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
| Zeile 37: | Zeile 37: | ||
year = {1991}, | year = {1991}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:23 Uhr
Qualifying Number Restrictions in Concept Languages
B. HollunderB. Hollunder, Franz BaaderFranz Baader
B. Hollunder, Franz 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},
}
