Science: Math: Logic and Foundations: Research Groups and Centers:

Open Directory - Science: Math: Logic and Foundations: Research Groups and Centers

See also:

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

"Research Groups and Centers" search on: AOL - Ask - Bing - Gigablast - Google - Lycos - Yahoo - Yippy

Volunteer to edit this category.

Visit our sister sites mozilla.org | MusicMoz | Wikipedia

Last update: Tuesday, May 5, 2009 6:26:00 AM EDT - edit