Hauptseite > Normsätze > Projekte > Datensatz #14781 > print

001     14781
005     20230301174806.0
024 7 _ |a G:(EU-Grant)243847
|d 243847
|2 CORDIS
024 7 _ |a G:(EU-Call)FP7-ICT-2009-C
|d FP7-ICT-2009-C
|2 CORDIS
024 7 _ |a corda_______::243847
|2 originalID
035 _ _ |a G:(EU-Grant)243847
150 _ _ |a Formalisation of Mathematics
|y 2010-03-01 - 2013-07-31
371 _ _ |a University of La Rioja
|b UR
|d Spain
|e http://www.unirioja.es/
|v CORDIS
371 _ _ |a GOETEBORGS UNIVERSITET
|b UGOT
|d Sweden
|e http://www.gu.se
|v CORDIS
371 _ _ |a French Institute for Research in Computer Science and Automation
|b INRIA
|d France
|e http://www.inria.fr/en/
|v CORDIS
371 _ _ |a STICHTING KATHOLIEKE UNIVERSITEIT
|d Netherlands
|e http://www.ru.nl
|v CORDIS
372 _ _ |a FP7-ICT-2009-C
|s 2010-03-01
|t 2013-07-31
450 _ _ |a FORMATH
|w d
|y 2010-03-01 - 2013-07-31
510 1 _ |0 I:(DE-588b)5098525-5
|a European Union
|2 CORDIS
909 C O |o oai:juser.fz-juelich.de:126451
|p authority:GRANT
|p authority
909 C O |o oai:juser.fz-juelich.de:126451
970 _ _ |a oai:dnet:corda_______::e3563d4fa63d0a64cba1be959a071022
980 _ _ |a G
980 _ _ |a CORDIS
980 _ _ |a AUTHORITY

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21