author = { Meier, Andreas },

title = { Proof planning with multiple strategies },

keywords = { Automatisches Beweisverfahren , Blackboard , Automatisches Beweisverfahren ; Blackboard <Expertensystem> , Hochschulschrift , Blackboard Expertensystem },

year = {2007},

url = { http://slubdd.de/katalog?TN_libero_mab2 }