01545nam0 22003853i 450 UFI015626620251003044427.0026202353920080206d1993 ||||0itac50 baengusz01i xxxe z01nConstraint logic programmingselected researchedited by Frederic Benhamou and Alain ColmerauerCambridge, Mass. [etc.]MIT pressc1993XIV, 486 p.24 cm.Logic programming001UBO00096722001 Logic programmingLogica matematicaApplicazioni alla programmazione degli elaboratori elettroniciFIRUFIC015487IElaboratori elettroniciProgrammazioneFIRCFIC000860E005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22Logica simbolicaLogica matematica <Logica simbolica>Logica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Benhamou, FredericUFIV082882Colmerauer, AlainUFIV082884ITIT-00000020080206IT-BN0095 NAP 01SALA DING $UFI0156266Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.1 CONLP 0102 0000017105 VMA A4 1 v.Y 2008020620080206 01Constraint logic programming1575994UNISANNIO