AllMusicSearch Music Directory : Science : Math : Logic_and_Foundations : Research_Groups_and

» (Australia) Canberra
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Ã¡
Logic at BogotÃ¡ (Universidad Nacional de Colombia, Universidad de los Andes).
http://www.matematicas.unal.edu.co/villaveces/logica.html

» (Israel) Ben Gurion University of the Negev
Mathematical and Computational Logic Research Group.
http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html

» (Israel) Haifa
Logic Seminar.
http://www.cs.technion.ac.il/~admlogic/lcoll.html

» (Japan) Kobe
Foundations of Mathematics and Computer Science.
http://kurt.scitec.kobe-u.ac.jp/

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 AllMusicSearch.com editors