jasminecorp.net directory
Updated Blogs
Computer Support Blog
Essensial Software for Web Based Support
HP Server and Desktop
HP ILO - Remote Tech-Support Software
More .....

JasmineCorp Search | Free Blogs | Free Tutorials | Free Guest Book | Buy Books | Advertise | Hosting | Web Designing | Software Development | Domain Registration | IP Locater | E-Cards | Whois | Games | Shopping


 
Detailed Information

URL:     http://www.doc.mmu.ac.uk/STAFF/M.Fisher/

Title:     Fisher, Michael

Description:     Manchester Metropolitan University - Distributed artificial intelligence and multi-agent systems, programming language design, formal specification and verification, parallel and agent-based theorem-proving, temporal and modal theorem-proving techniques.

Directory:     Science/Math/Logic_and_Foundations/People

 
Reviews

Be the first to review this site
 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home || Web Designing || Get a Domain Name || Host your Web site || Terms of Service
Our Portfolio || Our Clients || Job Opportunities || Free GuestBook || Free Quote
Buy Books || Tell a Friend || Special Offer || Contact Us || Free Tutorial || Add JasmineCorp Search
Submit a Site to Jasminecorp.net Directory

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .org .net
.info .biz .us