Projet de recherche
DEMOSTRADORES DE TEOREMAS PARA PLTL
date_range
Durée de 01 octobre 2011 à 31 décembre 2012
(15 mois)
Chercheurs
FRANCISCA
LUCIO CARRASCO
Responsable