LATPub19

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Concept Logic

Franz BaaderFranz Baader,  H.-J. BürckertH.-J. Bürckert,  B. HollunderB. Hollunder,  W. NuttW. Nutt,  J. SiekmannJ. Siekmann

Franz Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, J. Siekmann
Concept Logic
Proceedings of the Symposium on Computational Logic, 177-201, 1990

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ BaaderBuerckert+-SCL-90,
  address = {Brussels (Belgien)},
  author = {F. {Baader} and H.-J. {B\"urckert} and B. {Hollunder} and W. {Nutt} and J. {Siekmann}},
  booktitle = {Proceedings of the Symposium on Computational Logic},
  pages = {177--201},
  title = {Concept Logic},
  year = {1990},
}