Marie Curie Fellowship: - Volker Sorge Agent-Based Theorem Proving

  • Kerber, Manfred (Principal Investigator)

Project Details

Short titleMarie Curie Fellowship: - Volker Sorge Agent-Based Theorem Proving
StatusFinished
Effective start/end date14/07/02 → 13/07/04

Funding

  • European Commission