Concept Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Concept Logic

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


Franz Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, J. Siekmann
Concept Logic
Proceedings of the Symposium on Computational Logic, 177-201, 1990
@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},
}