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
Cet article a éte moissonné depuis 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},
year = {2008},
volume = {Ser. 1, 1},
number = {2},
language = {it},
url = {http://geodesic.mathdoc.fr/item/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/