AtomSeek the directory or science  

Math: Logic and Foundations: Institutions: (Australia) Canberra


  Home: Math: Logic and Foundations: Institutions:
Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: Institutions: (Australia) Canberra


URL: http://cslab.anu.edu.au/ar/

 

Description: Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.


Detailed Traffic Statistic From Alexa
Detailed Traffic Statistic From Alexa

 
  Previous     

  HOME | ADD A LINK | MODIFY A LINK | LOGIN


Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people


atomseek.com
Webmaster - miroweb.com