@inproceedings{burmeister00conimp,
  added-at = {2007-09-12T14:18:44.000+0200},
  address = {Heidelberg},
  author = {Burmeister, Peter},
  biburl = {http://www.bibsonomy.org/bibtex/2af89ec07ab6dc5ca2a8f2c265c6df9be/stumme},
  booktitle = {Begriffliche Wissensverarbeitung: Methoden und Anwendungen},
  editor = {Stumme, Gerd and Wille, Rudolf},
  interhash = {3ea2d8a7be544576d6da6106e5d1001a},
  intrahash = {af89ec07ab6dc5ca2a8f2c265c6df9be},
  keywords = {ag1 algorithm algorithms analysis begriffsanalyse concept conimp darmstadt fba fca formal formale forschungsgruppe lattices program programme tu},
  pages = {25-56},
  publisher = {Springer},
  timestamp = {2007-09-12T14:18:44.000+0200},
  title = {ConImp: Ein Programm zur Formalen Begriffsanalyse},
  year = 2000
}