Opendata, web and dolomites
  1. home
  2. trasparenza
  3. open h2020
  4. per topic
  5. hol

H2020 projects about "hol"

The page lists 3 projects related to the topic "hol".

# achronym  title  year 
1 CoVeCe Coinduction for Verification and Certification 2016
2 SMART Strong Modular proof Assistance: Reasoning across Theories 2017
3 HOL-DEEP-SENSE Holistic Deep Modelling for User Recognition and Affective Social Behaviour Sensing 2018