%0 Conference Paper %1 Melis01Automated %A Melis, E. %A Glasmacher, C. %A Ullrich, C. %A Gerjets, P. %B Annual Conference of the Cognitive Science Society %D 2001 %K imported %P 633-638 %T Automated Proof Planning for Instructional Design %U http://www.ags.uni-sb.de/~melis/Pub/cogsci+.ps.gz

@inproceedings{Melis01Automated, added-at = {2007-10-07T09:43:01.000+0200}, author = {Melis, E. and Glasmacher, C. and Ullrich, C. and Gerjets, P.}, biburl = {https://www.bibsonomy.org/bibtex/28c24e2156675d03fd965ae32e066c54f/carstenullrich}, booktitle = {Annual Conference of the Cognitive Science Society}, interhash = {39b5eab62c63b84e0062dd54670feddd}, intrahash = {8c24e2156675d03fd965ae32e066c54f}, keywords = {imported}, pages = {633-638}, timestamp = {2007-10-07T09:43:01.000+0200}, title = {Automated Proof Planning for Instructional Design}, url = {http://www.ags.uni-sb.de/~melis/Pub/cogsci+.ps.gz}, year = 2001 }