Automatic Hint Generation for Logic Proof Tutoring Using Historical Data.

Tiffany Barnes John C. Stamper Automatic Hint Generation for Logic Proof Tutoring Using Historical Data. 3-12 2010 13 Educational Technology & Society 1 http://www.ifets.info/abstract.php?art_id=1013 db/journals/ets/ets13.html#BarnesS10