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/0213/07/04