001     9510
005     20230301174400.0
024 7 _ |a G:(EU-Grant)230822
|d 230822
|2 CORDIS
024 7 _ |a G:(EU-Call)FP7-PEOPLE-IRSES-2008
|d FP7-PEOPLE-IRSES-2008
|2 CORDIS
024 7 _ |a corda_______::230822
|2 originalID
035 _ _ |a G:(EU-Grant)230822
150 _ _ |a Constructive Mathematics: Proof and Computation
|y 2009-01-01 - 2011-12-31
371 _ _ |a LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
|b LMU MUENCHEN
|d Germany
|e http://www.uni-muenchen.de
|v CORDIS
372 _ _ |a FP7-PEOPLE-IRSES-2008
|s 2009-01-01
|t 2011-12-31
450 _ _ |a CONSTRUMATH
|w d
|y 2009-01-01 - 2011-12-31
510 1 _ |0 I:(DE-588b)5098525-5
|a European Union
|2 CORDIS
909 C O |o oai:juser.fz-juelich.de:121180
|p authority:GRANT
|p authority
909 C O |o oai:juser.fz-juelich.de:121180
970 _ _ |a oai:dnet:corda_______::fbbb4d6469fabee24e5c30ab8374ea07
980 _ _ |a G
980 _ _ |a CORDIS
980 _ _ |a AUTHORITY


LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21