16-18 nov. 2022 Paris (France)
Calcul de la décomposition bimodulaire et classes d'implications
Renaud Torfs  1@  
1 : Institut de Recherche en Informatique Fondamentale
Centre National de la Recherche Scientifique : UMR_8243, Université Paris Cité : UMR_8243

Personnes connectées : 6 Vie privée
Chargement...