Project Details
| Short title | Agent-Oriented Theorem Proving |
|---|---|
| Status | Finished |
| Effective start/end date | 14/01/00 → 13/01/01 |
Funding
- Engineering & Physical Science Research Council
Agent-Oriented Theorem Proving
- Kerber, Manfred (Principal Investigator)
| Short title | Agent-Oriented Theorem Proving |
|---|---|
| Status | Finished |
| Effective start/end date | 14/01/00 → 13/01/01 |