TY - BOOK AU - Deransart AU - Hermenegildo AU - Maluszynski TI - Analysis and visualization tools for constraint programming T2 - Lecture notes in computer science VL - 1870 SN - 3-540-41137-2 PY - 2000/// CY - Berlin [etc.] PB - Springer KW - Programação por restrições KW - QA75.5 ER -