LATPub30: 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 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
|ErsterAutorVorname= | |ErsterAutorVorname=Franz | ||
|ErsterAutorNachname=Baader | |ErsterAutorNachname=Baader | ||
|FurtherAuthors=B. Hollunder | |FurtherAuthors=B. Hollunder | ||
| Zeile 35: | Zeile 35: | ||
year = {1991}, | year = {1991}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:23 Uhr
KRIS: Knowledge Representation and Inference System, System Description
Franz BaaderFranz Baader, B. HollunderB. Hollunder
Franz Baader, B. Hollunder
KRIS: Knowledge Representation and Inference System, System Description
ACM SIGART Bulletin, 2:8-14, 1991
KRIS: Knowledge Representation and Inference System, System Description
ACM SIGART Bulletin, 2:8-14, 1991
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ BaaderHollunder-SIGART-91,
author = {F. {Baader} and B. {Hollunder}},
journal = {{ACM} {SIGART} Bulletin},
pages = {8--14},
title = {{KRIS}: Knowledge Representation and Inference System, System Description},
volume = {2},
year = {1991},
}
