guest ::
FORMATH
Formalisation of Mathematics
| Coordinator | University of La Rioja ; GOETEBORGS UNIVERSITET ; French Institute for Research in Computer Science and Automation ; STICHTING KATHOLIEKE UNIVERSITEIT |
| Grant period | 2010-03-01 - 2013-07-31 |
| Funding body | European Union |
| Call number | FP7-ICT-2009-C |
| Grant number | 243847 |
| Identifier | G:(EU-Grant)243847 |
Recent Publications
There are no publications
Record created 2012-12-05, last modified 2023-03-01