Agent-Oriented Theorem Proving

  • Kerber, Manfred (Principal Investigator)

Project Details

Short titleAgent-Oriented Theorem Proving
StatusFinished
Effective start/end date14/01/0013/01/01

Funding

  • Engineering & Physical Science Research Council