%0 Thesis %1 phd/de/Meier2007 %A Meier, Andreas %D 2007 %K %P 1-267 %T Proof planning with multiple strategies.

@phdthesis{phd/de/Meier2007, added-at = {2023-12-13T00:25:25.000+0100}, author = {Meier, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/29f71e73bd7256c7fe68fbc197998b61c/admin}, ee = {http://d-nb.info/986482919}, interhash = {63223294a12ac3c43a4a3290f7aa0f22}, intrahash = {9f71e73bd7256c7fe68fbc197998b61c}, keywords = {}, pages = {1-267}, school = {Saarland University, Saarbrücken, Germany}, timestamp = {2023-12-13T00:25:25.000+0100}, title = {Proof planning with multiple strategies.}, year = 2007 }