Guest! Login/Join

DomainTools.com
Whois Domain Search Domain Suggestions For Sale Sales History Auction Search Domain Monitor Domain Directory
Ping Traceroute My IP Address Domain Parking Cheap Domain Name Registration Bulk Check Domain Typo Generator more>
Power Tools: Reverse IP Domain History Mark Alert Name Server Spy Hosting History Registrant Search Registrant Alert

 

Research Groups And Centers


Directory > Science > Math > Logic_and_Foundations > Research Groups and Centers

Europe (38)North_America (16)
Related Categories:
   Science > Math > Algebra > Category_Theory > Research_Groups (12)
   Science > Math > Academic_Departments (907)


273 Listings - DR (6/10)273 Listings - DR (6/10) (Australia) Canberra - http://csl.rsise.anu.edu.au/logic
Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.
29 Listings - DR (1/10)29 Listings - DR (1/10) (Colombia) Bogotá - http://www.matematicas.unal.edu.co/villaveces/logica.html
Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).
56 Listings - DR (0/10)56 Listings - DR (0/10) (Japan) Kobe - http://kurt.scitec.kobe-u.ac.jp/
Foundations of Mathematics and Computer Science.
On Target - DR (0/10)On Target - DR (0/10) (Israel) Ben Gurion University of the Negev - http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html
Mathematical and Computational Logic Research Group.
On Target - DR (0/10)On Target - DR (0/10) (Israel) Haifa - http://www.cs.technion.ac.il/~admlogic/lcoll.html
Logic Seminar.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

Domain Tools analysis of DMOZ top listed domains