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]](https://bibbase.org/img/filetypes/link.svg "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
{"_id":"ec8iAyJHAxou3jbZe","bibbaseid":"jordan-makatchev-pappuswamy-relatingstudenttexttoformalproofsissuesofpresuppositionsandefficiencyofexpression-2005","downloads":1,"creationDate":"2015-09-14T21:16:36.505Z","title":"Relating Student Text to Formal Proofs: Issues of Presuppositions and Efficiency of Expression","author_short":["Jordan, P. W.","Makatchev, M.","Pappuswamy, U."],"year":2005,"bibtype":"inproceedings","biburl":"https://www.dropbox.com/s/k77onmesvqgz66b/pjordan3.bib?dl=1","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pamela","W."],"propositions":[],"lastnames":["Jordan"],"suffixes":[]},{"firstnames":["Maxim"],"propositions":[],"lastnames":["Makatchev"],"suffixes":[]},{"firstnames":["Umarani"],"propositions":[],"lastnames":["Pappuswamy"],"suffixes":[]}],"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","bibtex":"@inproceedings{jordan05relating,\n\tauthor = {Pamela W. Jordan and Maxim Makatchev and Umarani Pappuswamy},\n\tbooktitle = {Proceedings of the Workshop on Mixed Language Explanations in Learning Environments},\n\tmonth = {July},\n\tpublisher = {IOS Press},\n\ttitle = {Relating Student Text to Formal Proofs: Issues of Presuppositions and Efficiency of Expression},\n\turl = {https://sites.google.com/site/pjordansite/publications-old/Jordan-etalAIED2005XLANG.pdf?attredirects=0},\n\tyear = {2005},\n\tbdsk-url-1 = {https://sites.google.com/site/pjordansite/publications-old/Jordan-etalAIED2005XLANG.pdf?attredirects=0}}\n\n","author_short":["Jordan, P. W.","Makatchev, M.","Pappuswamy, U."],"key":"jordan05relating","id":"jordan05relating","bibbaseid":"jordan-makatchev-pappuswamy-relatingstudenttexttoformalproofsissuesofpresuppositionsandefficiencyofexpression-2005","role":"author","urls":{"Paper":"https://sites.google.com/site/pjordansite/publications-old/Jordan-etalAIED2005XLANG.pdf?attredirects=0"},"metadata":{"authorlinks":{"jordan, p":"https://bibbase.org/show?bib=https://www.dropbox.com/s/k77onmesvqgz66b/pjordan3.bib?dl=1"}},"downloads":1},"search_terms":["relating","student","text","formal","proofs","issues","presuppositions","efficiency","expression","jordan","makatchev","pappuswamy"],"keywords":[],"authorIDs":["55fc8ae26046ec7c4a000324","5df925c1d04b27df0100007b","5e1466670467fede0100007e","5e16754c0ba191df01000038","ka5ZTGxJfBiim3bM9","r3xo3iyvwYsWrKCBn"],"dataSources":["ZvF36gspBNGHEgbv5"]}