000014781 001__ 14781
000014781 005__ 20230301174806.0
000014781 0247_ $$2CORDIS$$aG:(EU-Grant)243847$$d243847
000014781 0247_ $$2CORDIS$$aG:(EU-Call)FP7-ICT-2009-C$$dFP7-ICT-2009-C
000014781 0247_ $$2originalID$$acorda_______::243847
000014781 035__ $$aG:(EU-Grant)243847
000014781 150__ $$aFormalisation of Mathematics$$y2010-03-01 - 2013-07-31
000014781 371__ $$aUniversity of La Rioja$$bUR$$dSpain$$ehttp://www.unirioja.es/$$vCORDIS
000014781 371__ $$aGOETEBORGS UNIVERSITET$$bUGOT$$dSweden$$ehttp://www.gu.se$$vCORDIS
000014781 371__ $$aFrench Institute for Research in Computer Science and Automation$$bINRIA$$dFrance$$ehttp://www.inria.fr/en/$$vCORDIS
000014781 371__ $$aSTICHTING KATHOLIEKE UNIVERSITEIT$$dNetherlands$$ehttp://www.ru.nl$$vCORDIS
000014781 372__ $$aFP7-ICT-2009-C$$s2010-03-01$$t2013-07-31
000014781 450__ $$aFORMATH$$wd$$y2010-03-01 - 2013-07-31
000014781 5101_ $$0I:(DE-588b)5098525-5$$2CORDIS$$aEuropean Union
000014781 909CO $$ooai:juser.fz-juelich.de:126451$$pauthority$$pauthority:GRANT
000014781 909CO $$ooai:juser.fz-juelich.de:126451
000014781 970__ $$aoai:dnet:corda_______::e3563d4fa63d0a64cba1be959a071022
000014781 980__ $$aG
000014781 980__ $$aCORDIS
000014781 980__ $$aAUTHORITY