Un outil d'aide à la conception des formes normales en logique propositionnelle

Kevin Désiron, Marie-Ange Remiche, Wim Vanhoof

Résultats de recherche: Contribution à un événement scientifique (non publié) › Papier › Revue par des pairs

langue originaleFrançais
Nombre de pages2
Etat de la publicationPublié - 2016
EvénementDidapro 6 - Namur, Belgique
Durée: 25 janv. 2016 → 27 janv. 2016

Colloque

ColloqueDidapro 6
Pays/TerritoireBelgique
La villeNamur
période25/01/16 → 27/01/16

Contient cette citation