Back to search
VERDIKT-Kjernekomp.og verdiskaping IKT
First-order Theorem Proving (FTP 2009)
Awarded: NOK 19,999
Source:
Project Manager:
Project Number:
195065
Application Type:
Project Period:
2009 - 2010
Funding received from:
Organisation:
Funding scheme:
VERDIKT-Kjernekomp.og verdiskaping IKT
1.1BILL. NOKtotal funding in the programme period260PROJECTShave received funding in the programme period7SOURCEShave financed the programme
Funding Sources
Thematic Areas and Topics
Bransjer og næringerPortefølje InnovasjonLTP3 IKT og digital transformasjonLTP3 Et kunnskapsintensivt næringsliv i hele landetDelportefølje Et velfungerende forskningssystemBransjer og næringerIKT-næringenInternasjonaliseringInternasjonaliseringInternasjonalt prosjektsamarbeidPortefølje ForskningssystemetIKTLTP3 Styrket konkurransekraft og innovasjonsevneDelportefølje InternasjonaliseringLTP3 Muliggjørende og industrielle teknologierIKTIKT - Som fag og teknologiPortefølje Muliggjørende teknologier