The IJCAR 2004 Workshop on
Computer-Supported
Mathematical Theory Development
Cork, Ireland, July 05, 2004
Deadline for Submission: May 02, 2004