Fiche d'un projet ANR

 35074Théorie des algorithmes : machines, complétude, axiomatisation et contraintes physiques [En savoir plus]TARMAC - ANR-12-BS02-0007
BLANC - 2012