LATPub47: 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=H.-J. Bürckert; B. Hollunder; A. Laux; W. Nutt | |FurtherAuthors=H.-J. Bürckert; B. Hollunder; A. Laux; W. Nutt | ||
| Zeile 35: | Zeile 35: | ||
year = {1992}, | year = {1992}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:23 Uhr
Terminologische Logiken
Franz BaaderFranz Baader, H.-J. BürckertH.-J. Bürckert, B. HollunderB. Hollunder, A. LauxA. Laux, W. NuttW. Nutt
Franz Baader, H.-J. Bürckert, B. Hollunder, A. Laux, W. Nutt
Terminologische Logiken
KI, {3/92}:23-33, 1992
Terminologische Logiken
KI, {3/92}:23-33, 1992
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ BaaderBuerckert+-KI-92,
author = {F. {Baader} and H.-J. {B\"urckert} and B. {Hollunder} and A. {Laux} and W. {Nutt}},
journal = {{KI}},
pages = {23--33},
title = {{T}erminologische {L}ogiken},
volume = {{3/92}},
year = {1992},
}
