Search:
Home  About  Submit Site    
   		 
  1. Home
  2. Science
  3. Math
  4. Logic and Foundations
  5. Research Groups and Centers  44 Sites
Most research activities will either occur in academic departments or in research institutes (which may either be in universities or external). Both of these are included in this category.
Categories
Europe
Germany, United Kingdom 27 Sites
North America
No sub-categories 14 Sites
Sites [ Submit ]
(Israel) Ben Gurion University of the Negev - Mathematical and Computational Logic Research Group. (Israel) Haifa - Logic Seminar. (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.
Click [ Submit ] above to Add a New Site, Update a Site, or Remove a Site from this Category.
See Also
Academic Departments
Science : Math 754 Sites
Research Groups
Math : Algebra : Category Theory 11 Sites
Also Available in These Languages
French
This directory is made available through a Creative Commons Attribution license from the DMOZ Organization.

© 2024 - Midnight Design Productions, LLC