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.
Subcategories 2
Related categories 2
Sites 3
Loading new listings for you to review...
- (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.