01467nam0 22003733i 450 UFI013932720251003044427.0026208181420080728d1989 ||||0itac50 baengusz01i xxxe z01nConstraint satisfaction in logic programmingPascal Van HentenryckCambridge (MA)LondonMIT pressc1989XVI, 224 p.24 cmLogic programmingBibliografia: P. [211]-220.001UBO00096722001 Logic programmingLogica matematicaApplicazioni alla programmazione degli elaboratori elettroniciFIRUFIC015487I005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22Logica simbolicaLogica matematica <Logica simbolica>Logica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Van Hentenryck, PascalRMSV016379070753435ITIT-00000020080728IT-BN0095 NAP 01SALA DING $UFI0139327Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 HEN.co 0102 0000011945 VMA A4 1 v.Y 1994070519940705 01Constraint satisfaction in logic programming1515684UNISANNIO