Media type: E-Book; Thesis Title: Proof planning with multiple strategies Contributor: Meier, Andreas [Verfasser] Extent: Online-Ressource Language: English Identifier: Keywords: Automatisches Beweisverfahren > Blackboard Origination: University thesis: Saarbrücken, Univ., Diss., 2004 Footnote: Access State: Open Access