HR: Automatic concept formation in pure mathematics (1999)

by S Colton, A Bundy, T Walsh
Venue:In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence