Science: Math: Logic_and_Foundations: Institutions:

See also:

• Science: Math: Academic Departments  (955)
• Science: Math: Algebra: Category Theory: Research Groups  (13)

This category in other languages:
	French  (10)

» (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

Seite vorschlagen - Open Directory Project - Werde Editor

Der Inhalt dieses Verzeichnisses basiert auf dem Open Directory und kann modifiziert sein.

Powered by DWodp live version 1.2.4 Copyright © 2003-2004 Dominion Web