%0 Thesis %1 Meier2007 %A Meier, Andreas %D 2007 %K dblp imported puma test %P 1-267 %T Proof planning with multiple strategies.

@phdthesis{Meier2007, added-at = {2017-05-18T15:42:02.000+0200}, author = {Meier, Andreas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29f71e73bd7256c7fe68fbc197998b61c/droessler}, ee = {http://d-nb.info/986482919}, groups = {public}, interhash = {63223294a12ac3c43a4a3290f7aa0f22}, intrahash = {9f71e73bd7256c7fe68fbc197998b61c}, keywords = {dblp imported puma test}, pages = {1-267}, school = {Saarland University}, timestamp = {2018-02-28T22:22:24.000+0100}, title = {Proof planning with multiple strategies.}, username = {droessler}, year = 2007 }