Fiche d'un projet ANR

 29956Algorithmes Incomplets pour la réfutation [En savoir plus]UNLOC - ANR-08-BLAN-0289
BLANC - 2008