01208nam0-2200373li-450 99000024756020331620180312154750.00-262-08181-40024756USA010024756(ALEPH)000024756USA01002475620001109d1989----km-y0itay0103----baengUSConstraint satisfaction in logic programmingPascal Van HentenryckCambridge (Mass.) [etc.]MIT Presscopyr. 1989XVI, 224 p.ill.23 cmelaboratori elettroniciprogrammazioneintelligenza artificiale005Programmazione, programmi, datiVan Hentenryck,Pascal753435Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000247560203316005 VAN001647300500102259BKSCI1995013120001110USA011715ALANDI9020010316USA01152820020403USA011633PATRY9020040406USA011618Constraint satisfaction in logic programming1515684UNISA