Ascertaining mathematical theorems (0)

by Roy L McCasland, Alan Bundy, Patrick F Smith
Venue:Electr. Notes Theor. Comput. Sci