PT Chapter AU Lindig, C Snelting, G TI Formale Begriffsanalyse im Software Engineering BT Begriffliche Wissensverarbeitung: Methoden und Anwendungen Hrsg.: G. Stumme PY 1999 BP 151 EP 175 LA german ER