Agent-Oriented Theorem Proving

EPSRC Grant: GR/M99644/01
University logo

Contents

Project Coordinates

Start Date:14/01/2000
End Date:13/01/2001
Total Grant Value:£ 55944
Funding Agency:EPSRC
Grant:GR/M99644/01

People

Grant Proposal

The original proposal can be found as html, gzipped PostScript, and pdf file.

Final Report

The final report can be found as html, gzipped PostScript, and pdf file.

Publications

Collaborators and Other Related Research Groups

Collaborators

Research Groups and Projects

Related Work in the School of Computer Science



The URL of this page is: file:/home/mmk/public_html/projects/AOTP/index.html
Maintained by Manfred Kerber, e-mail: M.Kerber@cs.bham.ac.uk
Last update: 13.9.2002
School of Computer Science, The University of Birmingham