Manchester Metropolitan University - Department of Computing and Mathematics, Logic and Computation Group.

		Saturday, 6 September, 2008
		Home \| Submit Science Site \| Add to Favorite \| Contact

for

Directories

Aeronautics and Aerospace

Agriculture

Anomalies and Alternative Science

Educational Resources

Instruments and Supplies

Math

Medical Science

Methods and Techniques

Category: Science » Math » Logic and Foundations » Institutions

UPDATE URL | REPORT BROKEN LINK

Manchester Metropolitan University

Popularity:

Hit: 278 | Visit: 2

Details

	Department of Computing and Mathematics, Logic and Computation Group. Research projects: Proof Methods for Non-Classical Logics; Temporal and Modal Logics; Programming Language Design; Agent-Based Systems. Members, research interests, bibliography. Sponsored Links:
URL:
Title:	MMU DoCM - Logic and Computation Group
Description:	Science Central - 495383 - Welcome to Manchester Metropolitan University Department of Computing and Mathematics.
Category:	Research - University - Education - Study - Learning - Department - England - North - Mathematics - Courses - West - Community - Computing - Undergraduate - Postgraduate - College - Manchester - Degrees - Diploma - Student - Maths - Further - Intranet - Scholarship - Metropolitan - Part-time - Cmmfa - Full-time

Related sites

(Australia) Canberra (Popularity:

): Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms ...
(Israel) Haifa (Popularity:

): Logic Seminar.
(Israel) Ben Gurion University of the Negev (Popularity:

): Mathematical and Computational Logic Research Group.
(Japan) Kobe (Popularity:

): Foundations of Mathematics and Computer Science.
Linear Naming and Computation (Popularity:

): A distributed research group associated with the Church Project working on the design and implementation ...
(Colombia) Bogotá (Popularity:

): Logic at Bogotá (Universidad Nacional de Colombia, Universidad de los Andes).
Logic at Leeds Homepage (Popularity:

): Information on the Leeds University Logic Group
Berkeley, University of California (Popularity:

): Group in Logic and the Methodology of Science.
Brigham Young University (Popularity:

): Laboratory for Applied Logic.
Pennsylvania, University of (Popularity:

): Logic and Computation Group.

Home | Submit Science Site | Add to Favorite | Privacy | Contact