%0 Journal Article %1 journals/ets/BarnesS10 %A Barnes, Tiffany %A Stamper, John C. %D 2010 %J J. Educ. Technol. Soc. %K dblp %N 1 %P 3-12 %T Automatic Hint Generation for Logic Proof Tutoring Using Historical Data. %U http://dblp.uni-trier.de/db/journals/ets/ets13.html#BarnesS10 %V 13

@article{journals/ets/BarnesS10, added-at = {2022-05-16T00:00:00.000+0200}, author = {Barnes, Tiffany and Stamper, John C.}, biburl = {https://www.bibsonomy.org/bibtex/2e167b5d65c92e17787b53f3482bd0100/dblp}, ee = {http://www.ifets.info/abstract.php?art_id=1013}, interhash = {f70578d9c612afed73688b9d6e9c6cec}, intrahash = {e167b5d65c92e17787b53f3482bd0100}, journal = {J. Educ. Technol. Soc.}, keywords = {dblp}, number = 1, pages = {3-12}, timestamp = {2024-04-08T14:18:30.000+0200}, title = {Automatic Hint Generation for Logic Proof Tutoring Using Historical Data.}, url = {http://dblp.uni-trier.de/db/journals/ets/ets13.html#BarnesS10}, volume = 13, year = 2010 }