Behrooz Mostafavi, Tiffany Barnes, Marvin J. Croy. Automatic Generation of Proof Problems in Deductive Logic. In Mykola Pechenizkiy, Toon Calders, Cristina Conati, Sebastián Ventura, Cristóbal Romero, John C. Stamper, editors, Proceedings of the 4th International Conference on Educational Data Mining, Eindhoven, The Netherlands, July 6-8, 2011. pages 289-294, www.educationaldatamining.org, 2011. [doi]
Abstract is missing.