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.
More information
More information
Subcategories 2
Related categories 2
Sites 2
Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.
Mathematical and Computational Logic Research Group.
Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.
Mathematical and Computational Logic Research Group.
Other languages 1
Last update:
October 16, 2023 at 5:25:06 UTC
Check out
Regional: North America: United States: Wyoming: Localities: S: Sheridan: Business and Economy: Automotive
- Recently edited by cherel
- Recently edited by cherel