Math: Logic and Foundations: People: Quigley, Peter

Home: Math: Logic and Foundations: People:

Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: People: Quigley, Peter

URL: http://www.doc.mmu.ac.uk/STAFF/P.Quigley/

Description: Manchester Metropolitan University - Computational logic, formal methods, formal specification, automated reasoning and proof planning.

Detailed Traffic Statistic From Alexa

Previous Next

HOME | ADD A LINK | MODIFY A LINK | LOGIN

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people