Project Details
| Short title | Marie Curie Fellowship: - Volker Sorge Agent-Based Theorem Proving |
|---|---|
| Status | Finished |
| Effective start/end date | 14/07/02 → 13/07/04 |
Funding
- European Commission
Marie Curie Fellowship: - Volker Sorge Agent-Based Theorem Proving
- Kerber, Manfred (Principal Investigator)