Web Directory

    Top: Science: Math: Logic_and_Foundations: Meetings: Past_Conferences:

 

Computer-Supported Mathematical Theory Development

  Link Details for: Computer-Supported Mathematical Theory Development
Link Title: Computer-Supported Mathematical Theory Development Open in a new window
Link URL: http://www.risc.uni-linz.ac.at/conferences/IJCAR-WS7/
Link Details: Workshop of IJCAR 2004, the Second International Joint Conference on Automated Reasoning. University College Cork, Ireland; 4--8 July 2004.
Category: Top : Science : Math : Logic_and_Foundations : Meetings : Past_Conferences
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Computer-Supported Mathematical Theory Development