Concept Logic

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

Datei:DFKI-RR-90-10.ps.gz

Download

Franz Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, J. Siekmann
Concept Logic
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-10, 1990. {DFKI} Research Report

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ DFKI-RR-90-10,
  author = {F. {Baader} and H.-J. {B\"urckert} and B. {Hollunder} and W. {Nutt} and J. {Siekmann}},
  institution = {{D}eutsches {F}orschungszentrum f\"ur {K}\"unstliche {I}ntelligenz, Kaiserslautern},
  number = {{RR}-90-10},
  title = {Concept Logic},
  type = {{DFKI} Research Report},
  year = {1990},
}