External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification of Proof Steps for Tutoring Mathematical Proofs

Dominik Dietrich, Mark Buckley. Verification of Proof Steps for Tutoring Mathematical Proofs. In Rosemary Luckin, Kenneth R. Koedinger, Jim E. Greer, editors, Artificial Intelligence in Education, Building Technology Rich Learning Contexts That Work, Proceedings of the 13th International Conference on Artificial Intelligence in Education, AIED 2007, July 9-13, 2007, Los Angeles, California, USA. Volume 158 of Frontiers in Artificial Intelligence and Applications, pages 560-562, IOS Press, 2007.

Authors

Dominik Dietrich

This author has not been identified. Look up 'Dominik Dietrich' in Google

Mark Buckley

This author has not been identified. Look up 'Mark Buckley' in Google
runs on