Understanding the Hardness of Theorem Proving

Informations projet

UTHOTP

N° de convention de subvention: 279611

Projet clôturé

Date de début 1 Juillet 2012

Date de fin 30 Juin 2018

Financé au titre de

• Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Coût total € 1 460 000,00

Contribution de l’UE € 1 460 000,00

Coordonné par

KUNGLIGA TEKNISKA HOEGSKOLAN
Sweden