The IJCAR 2004 Workshop on
Computer-Supported
Mathematical Theory Development

Cork, Ireland, July 05, 2004

Deadline for Submission: May 02, 2004