LATPub23: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) K (1 Version) |
||
(2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
Zeile 2: | Zeile 2: | ||
|ErsterAutorVorname=B. | |ErsterAutorVorname=B. | ||
|ErsterAutorNachname=Hollunder | |ErsterAutorNachname=Hollunder | ||
|FurtherAuthors= | |FurtherAuthors=Franz Baader | ||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
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= | ||
Zeile 37: | Zeile 37: | ||
year = {1991}, | year = {1991}, | ||
} | } | ||
}} | }} |
Aktuelle Version vom 25. März 2015, 15:38 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},
}