@thesis{6351, title = {Eine beweistheoretische Anwendung der }, author = {Harmeling, S.}, institution = {Westfälische Wilhelms-Universität Münster, Münster}, school = {Biologische Kybernetik}, month = may, year = {1998}, doi = {}, month_numeric = {5} }