Adaptable mixed-initiative proof planning for educational interaction (2004)

by A Meier, E Melis, M Pollet
Venue:Electronic Notes in Theoretical Computer Science