Web Directory

    Top: Computers: Computer_Science: Conferences: 2005:

 

CADE-20 Workshop on Empirically Successful Classical Automated Reasoning

  Link Details for: CADE-20 Workshop on Empirically Successful Classical Automated Reasoning
Link Title: CADE-20 Workshop on Empirically Successful Classical Automated Reasoning Open in a new window
Link URL: http://www.cs.miami.edu/~geoff/Conferences/ESCAR/
Link Details: Tallinn, Estonia; 22--26 July 2005.
Category: Top : Computers : Computer_Science : Conferences : 2005
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:
CADE-20 Workshop on Empirically Successful Classical Automated Reasoning