MetaDirectory
|
See also:
- Science: Math: Academic Departments (955)
- Science: Math: Algebra: Category Theory: Research Groups (13)
| This category in other languages: | ||
| ||
- (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. - (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. - Logic at Leeds Homepage
Information on the Leeds University Logic Group
|