Calcul de la décomposition bimodulaire et classes d'implications
1 : Institut de Recherche en Informatique Fondamentale
Centre National de la Recherche Scientifique : UMR_8243, Université Paris Cité : UMR_8243
|
ATTENTION : Une migration de la base de données est programmée jeudi 21 août.
Elle peut occasionner des problèmes d'accès à Sciencesconf. |
|
Calcul de la décomposition bimodulaire et classes d'implications
1 : Institut de Recherche en Informatique Fondamentale Centre National de la Recherche Scientifique : UMR_8243, Université Paris Cité : UMR_8243
|