Science Central - All about Science

Sunday, 22 November, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Institutions UPDATE URL | REPORT BROKEN LINK

(Australia) Canberra

 Popularity:    Hit: 384 | Visit: 6
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.

Sponsored Links:


URL:
Title: Computer Sciences Laboratory :: RSISE
Description:

RSISE
Category: Research - Teaching - 'graduate - Studies'


Related sites
(Israel) Haifa (Popularity: ): Logic Seminar.
(Israel) Ben Gurion University of the Negev (Popularity: ): Mathematical and Computational Logic Research Group.
(Japan) Kobe (Popularity: ): Foundations of Mathematics and Computer Science.
(Colombia) Bogotá (Popularity: ): Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).
Logic at Leeds Homepage (Popularity: ): Information on the Leeds University Logic Group
Berkeley, University of California (Popularity: ): Group in Logic and the Methodology of Science.
Pennsylvania, University of (Popularity: ): Logic and Computation Group.
Las Cruces, New Mexico (Popularity: ): Laboratory for Logic,Databases and Advanced Programming.
Carnegie Mellon University (Popularity: ): Pure and Applied Logic.
Florida, University of (Popularity: ): Logic and Set Theory.

© 2005-2008 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact