Results 1 -
2 of
2
Automated Theory Formation for Tutoring Tasks in Pure Mathematics (2002)
by S Colton, R McCasland, A Bundy, T Walsh
| Venue: | In: Proceedings of the CADE'02 Workshop on the Role of Automated Deduction in Mathematics |
