Home    |Web Directory    |Metasearch    |Message Boards    |Classified Ads|

Web Directory

Home

Web Directory

Metasearch

Message Boards

Classified Ads

Top: Science: Math: Logic_and_Foundations: Research_Groups_and_Centers:

Research Groups and Centers (57)

Categories:

See Also:
This category in other languages:

French

Sites:

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

This category needs an editor

Last Updated: 2009-05-05 02:26:00




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

The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com

Free previews by Thumbshots.org