Skip to main navigation Skip to search Skip to main content

Machine Learning Coalgebraic Automated Proofs

  • Komendantskaya, Ekaterina (Investigator)

Project Details

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