LEADER 01467nam0 22003733i 450 
001 UFI0139327
005 20251003044427.0
010   $a0262081814
100   $a20080728d1989    ||||0itac50      ba
101 | $aeng
102   $aus
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aConstraint satisfaction in logic programming$fPascal Van Hentenryck
210   $aCambridge (MA)$aLondon$cMIT press$dc1989
215   $aXVI, 224 p.$d24 cm
225 | $aLogic programming
300   $aBibliografia: P. [211]-220.
410  0$1001UBO0009672$12001 $aLogic programming
606   $aLogica matematica$xApplicazioni alla programmazione degli elaboratori elettronici$2FIR$3UFIC015487$9I
676   $a005.1$9PROGRAMMAZIONE$v14
676   $a005.115$9PROGRAMMAZIONE LOGICA$v22
696   $aLogica simbolica$aLogica matematica <Logica simbolica>
699   $aLogica matematica$zLogica simbolica
699   $aLogica matematica$yLogica matematica <Logica simbolica>
700  1$aVan Hentenryck$b, Pascal$3RMSV016379$4070$0753435
801  3$aIT$bIT-000000$c20080728
850   $aIT-BN0095          
901   $bNAP 01$cSALA DING $n$
912   $aUFI0139327
950  0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01SALA DING 005.1                   HEN.co$e 0102 0000011945  VMA A4                    1 v.$fY $h19940705$i19940705
977   $a 01
996   $aConstraint satisfaction in logic programming$91515684
997   $aUNISANNIO