M. Schiller

• Granularity Analysis for Tutoring Mathematical Proofs - Volume 334 Dissertations in Artificial Intelligence
• Problem Gambling