%0 Conference Paper
%1 burmeister00conimp
%A Burmeister, Peter
%B Begriffliche Wissensverarbeitung: Methoden und Anwendungen
%C Heidelberg
%D 2000
%E Stumme, Gerd
%E Wille, Rudolf
%I Springer
%K ag1 algorithm algorithms analysis begriffsanalyse concept conimp darmstadt fba fca formal formale forschungsgruppe lattices program programme tu
%P 25-56
%T ConImp: Ein Programm zur Formalen Begriffsanalyse