ByNobleID
    Raisonnement pair-à-pair en logique propositionnelle : algorithmes, passage à l'échelle et applications | NobleID