Geodesic
Procedure di decisione combinate per la soddisfacibilità di vincoli
La Matematica nella società e nella cultura, Série 1, Tome 1 (2008) no. 2, pp. 315-318

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{RIUMI_2008_1_1_2_a30,
     author = {Nicolini, Enrica},
     title = {Procedure di decisione combinate per la soddisfacibilit\`a di vincoli},
     journal = {La Matematica nella societ\`a e nella cultura},
     pages = {315--318},
     publisher = {mathdoc},
     volume = {Ser. 1, 1},
     number = {2},
     year = {2008},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_2_a30/}
}
TY  - JOUR
AU  - Nicolini, Enrica
TI  - Procedure di decisione combinate per la soddisfacibilità di vincoli
JO  - La Matematica nella società e nella cultura
PY  - 2008
SP  - 315
EP  - 318
VL  - 1
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_2_a30/
LA  - it
ID  - RIUMI_2008_1_1_2_a30
ER  - 
%0 Journal Article
%A Nicolini, Enrica
%T Procedure di decisione combinate per la soddisfacibilità di vincoli
%J La Matematica nella società e nella cultura
%D 2008
%P 315-318
%V 1
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_2_a30/
%G it
%F RIUMI_2008_1_1_2_a30
Nicolini, Enrica. Procedure di decisione combinate per la soddisfacibilità di vincoli. La Matematica nella società e nella cultura, Série 1, Tome 1 (2008) no. 2, pp. 315-318. http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_2_a30/