Dan A. Simovici

DA

Membre de l'Acfas

Profil

Liens avec l'Acfas

Auteur·trice :

65e Congrès de l'Acfas : Critères de complétude en logique ensemble-valuée sous des compositions avec union et intersection

Communications de Dan A. Simovici

Critères de complétude en logique ensemble-valuée sous des compositions avec union et intersection
Alioune Ngom
Congrès 1997
Informatique et mathématiques
Voir toutes les communications