Relating Student Text to Formal Proofs: Issues of Presuppositions and Efficiency of Expression. Jordan, P. W., Makatchev, M., & Pappuswamy, U. In Proceedings of the Workshop on Mixed Language Explanations in Learning Environments, July, 2005. IOS Press.
Relating Student Text to Formal Proofs: Issues of Presuppositions and Efficiency of Expression [link]Paper  bibtex   1 download  
@inproceedings{jordan05relating,
	author = {Pamela W. Jordan and Maxim Makatchev and Umarani Pappuswamy},
	booktitle = {Proceedings of the Workshop on Mixed Language Explanations in Learning Environments},
	month = {July},
	publisher = {IOS Press},
	title = {Relating Student Text to Formal Proofs: Issues of Presuppositions and Efficiency of Expression},
	url = {https://sites.google.com/site/pjordansite/publications-old/Jordan-etalAIED2005XLANG.pdf?attredirects=0},
	year = {2005},
	bdsk-url-1 = {https://sites.google.com/site/pjordansite/publications-old/Jordan-etalAIED2005XLANG.pdf?attredirects=0}}

Downloads: 1