{T}erminologische {L}ogiken

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

{T}erminologische {L}ogiken

F. BaaderF. Baader,  H.-J. BürckertH.-J. Bürckert,  B. HollunderB. Hollunder,  A. LauxA. Laux,  W. NuttW. Nutt

F. Baader, H.-J. Bürckert, B. Hollunder, A. Laux, W. Nutt
{T}erminologische {L}ogiken
{KI}, {3/92}:23--33, 1992

• Details
• Bibtex

• 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},
}