Opendata, web and dolomites

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