Search The Directory The Web for Home > Science > Math > Logic and Foundations > Research_Centers New! Submit a site   Categories: Europe (35) North America (20)     whatUseek Collection Sites (submit a site ):   Give your site great placement in this category in as little as two business days!     whatUseek Directory Site Listings:   (Colombia) Bogotá - Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).   (Israel) Ben Gurion University of the Negev - Mathematical and Computational Logic Research Group.   (Israel) Haifa - Logic Seminar.   (Japan) Kobe - Foundations of Mathematics and Computer Science.   Automated Reasoning Project - Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite Domain Enumerator), MaGIC (Matrix Generator for Implication Connectives) and Kripke (A theorem prover for the relevant logic LR). Help build the largest human-edited directory on the web.   Submit a Site - Open Directory Project - Become an Editor

About   Help   Content Filter   Terms   Privacy Policy © 2018 whatUseek