IJCAR 2004 Workshop on Computer-Supported Mathematical Theory Development

General Information

Conference Date: 05/07/2004

Venue: Cork, Ireland