Ascertaining mathematical theorems (2005)

by R L McCasland, A Bundy, P F Smith
Venue:Proceedings of Calculemus 2005