Web Directory

    Top: Science: Math: Logic_and_Foundations: Institutions:

 

(Australia) Canberra

  Link Details for: (Australia) Canberra
Link Title: (Australia) Canberra Open in a new window
Link URL: http://csl.rsise.anu.edu.au/logic
Link Details: Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.
Category: Top : Science : Math : Logic_and_Foundations : Institutions
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:
(Australia) Canberra