date_range Duració del 01 de de març de 2010 al 31 de de juliol de 2013 (41 mesos)
euro 204.480,00 EUR

Dàmbit {0}.

Investigadors/es

Publicacions relacionades amb el projecte (1)

Mostra per tipologia

2012

  1. Formalization of a Normalization Theorem in Simplicial Topology

    Annals of Mathematics and Artificial Intelligence