Machine Learning Coalgebraic Automated Proofs

  • Komendantskaya, Ekaterina (Investigator)

Project Details

StatusFinished
Effective start/end date1/03/12 → 28/02/14

Funding

  • Engineering and Physical Sciences Research Council (EP/J014222/1): £100,268.00