Automated Theory Formation for Tutoring Tasks in Pure Mathematics (2002)

by Simon Colton , Roy McCasland , Alan Bundy , Toby Walsh
Venue:In CADE-18, Workshop on the Role of Automated Deduction in Mathematics
Citations:2 - 0 self