Science Math Logic and Foundations Research Groups and Centers
44
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

(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.
(Israel) Ben Gurion University of the Negev
Mathematical and Computational Logic Research Group.
(Israel) Haifa
Logic Seminar.

Other languages 1

[Mozilla Einstein]
Last update:
November 7, 2016 at 13:08:08 UTC
Science
Shopping
Society
Sports
All Languages
Arts
Business
Computers
Games
Health
Home
News
Recreation
Reference
Regional