Geodesic
Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 28 (1994) no. 2, pp. 125-149 Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'article

@article{ITA_1994__28_2_125_0,
     author = {Coudert, Olivier and Madre, Jean-Christophe},
     title = {Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions bool\'eennes},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {125--149},
     year = {1994},
     publisher = {EDP-Sciences},
     volume = {28},
     number = {2},
     mrnumber = {1282249},
     zbl = {0890.68089},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/ITA_1994__28_2_125_0/}
}
TY  - JOUR
AU  - Coudert, Olivier
AU  - Madre, Jean-Christophe
TI  - Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1994
SP  - 125
EP  - 149
VL  - 28
IS  - 2
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/item/ITA_1994__28_2_125_0/
LA  - fr
ID  - ITA_1994__28_2_125_0
ER  - 
%0 Journal Article
%A Coudert, Olivier
%A Madre, Jean-Christophe
%T Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1994
%P 125-149
%V 28
%N 2
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/ITA_1994__28_2_125_0/
%G fr
%F ITA_1994__28_2_125_0
Coudert, Olivier; Madre, Jean-Christophe. Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 28 (1994) no. 2, pp. 125-149. http://geodesic.mathdoc.fr/item/ITA_1994__28_2_125_0/