Web Directory

    Top: Science: Math: Logic_and_Foundations: Software:

 

Automated Reasoning Project

  Link Details for: Automated Reasoning Project
Link Title: Automated Reasoning Project Open in a new window
Link URL: http://cslab.anu.edu.au/ar/
Link Details: Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite Domain Enumerator), MaGIC (Matrix Generator for Implication Connectives) and Kripke (A theorem prover for the relevant
Category: Top : Science : Math : Logic_and_Foundations : Software
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:
Automated Reasoning Project