Adaptable Mixed-Initiative Proof Planning for Educational Interaction (2004)

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