Add your Web Site - Logic and Foundations - Institutions Add Search to your Site

Search for:
Results per page: Output format: Match: Pages from:
 
 Europe (37)
 North America (17)
 
 
 Show pages from IntraNet   Show all pages
 DIRECTORY/Science/Tech/Math/Logic and Foundations/Institutions (60)
i0(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.
 
i0(Colombia) Bogotá - http://www.matematicas.unal.edu.co/villaveces/logica.html - Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).
 
i0(Israel) Ben Gurion University of the Negev - http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html - Mathematical and Computational Logic Research Group.
 
i0(Israel) Haifa - http://www.cs.technion.ac.il/~admlogic/lcoll.html - Logic Seminar.
 
i0(Japan) Kobe - http://kurt.scitec.kobe-u.ac.jp/ - Foundations of Mathematics and Computer Science.
 
i0Logic at Leeds Homepage - http://www.amsta.leeds.ac.uk/pure/logic/ - Information on the Leeds University Logic Group
 
 E-Mail: webmaster@teradex.com Copyright © 2007 Aaex Corp. all rights reserved.
   
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
This site is presented in modified Open Directory form