1. Home
  2. Science
  3. Mathematics
  4. Computer-Supported Mathematical Theory Development

Science · Mathematics

Computer-Supported Mathematical Theory Development

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

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.

Tags

Publications

Where it sits

Science Mathematics

More in Mathematics

See all →