| |
Dominik Dietrich and
Mark Buckley. Integrating Task Information into the Dialogue Context for Natural Language Mathematics Tutoring. In Proceedings of the 10th Annual CLUK Research Colloquium, Cambridge, UK, 2007., 2007.  google
Note: MP.
|
|
| |
Dominik Dietrich and
Mark Buckley. Verification of Proof Steps for Tutoring Mathematical Proofs. In Proceedings of the 13th International Conference on Artificial Intelligence in Education, , Los Angeles, USA, 2007. IOS Press, Pages 560-562, 2007. google
Note: MP.
|
|
|
|
