%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