TY - JOUR AU - Enrica, Nicolini 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 - https://geodesic-test.mathdoc.fr/item/LMSC_2008_1_1_2_a30/ LA - it ID - LMSC_2008_1_1_2_a30 ER -