35074Théorie des algorithmes : machines, complétude, axiomatisation et contraintes physiques [En savoir plus]TARMAC - ANR-12-BS02-0007BLANC - 2012Voir les documents associés Exporter Export XML Export RDF