Details of Computer-Supported Mathematical Theory Development
About Computer-Supported Mathematical Theory Development
Computer-Supported Mathematical Theory Development- Workshop of IJCAR 2004, the Second International Joint Conference on Automated Reasoning. University College Cork, Ireland; 4--8 July 2004.
